Imported Upstream version 0.12
Showing
- ChangeLog 142 additions, 1 deletionChangeLog
- INSTALL 6 additions, 6 deletionsINSTALL
- Makefile.in 15 additions, 10 deletionsMakefile.in
- README 5 additions, 5 deletionsREADME
- about_window.ml 2 additions, 2 deletionsabout_window.ml
- changes.html 28 additions, 3 deletionschanges.html
- configuration.ml 127 additions, 23 deletionsconfiguration.ml
- configure 24 additions, 9 deletionsconfigure
- coq.ml 2 additions, 2 deletionscoq.ml
- draw_tree.ml 192 additions, 32 deletionsdraw_tree.ml
- emacs_commands.ml 27 additions, 2 deletionsemacs_commands.ml
- ext_dialog.ml 189 additions, 47 deletionsext_dialog.ml
- gtk_ext.ml 14 additions, 2 deletionsgtk_ext.ml
- help_window.ml 87 additions, 46 deletionshelp_window.ml
- input.ml 81 additions, 42 deletionsinput.ml
- input.mli 2 additions, 2 deletionsinput.mli
- main.ml 2 additions, 2 deletionsmain.ml
- node_window.ml 2 additions, 3 deletionsnode_window.ml
- proof_tree.ml 353 additions, 197 deletionsproof_tree.ml
- proof_tree.mli 21 additions, 16 deletionsproof_tree.mli
Loading
Please register or sign in to comment