package info
(click to toggle)
Folder: 0.13-1
.. (parent) | ||||
d | rwxr-xr-x | 104 | .pc | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 66 | test | |
- | rw-r--r-- | 130 | .gitignore | |
- | rw-r--r-- | 35,147 | COPYING | |
- | rw-r--r-- | 22,113 | ChangeLog | |
- | rw-r--r-- | 2,009 | INSTALL | |
- | rw-r--r-- | 4,920 | Makefile.in | |
- | rw-r--r-- | 2,162 | README | |
- | rw-r--r-- | 2,577 | about_window.ml | |
- | rw-r--r-- | 4,281 | changes.html | |
- | rw-r--r-- | 277 | compatibility | |
- | rw-r--r-- | 65,002 | configuration.ml | |
- | rwxr-xr-x | 4,205 | configure | |
- | rw-r--r-- | 5,180 | coq.ml | |
- | rw-r--r-- | 63,129 | draw_tree.ml | |
- | rw-r--r-- | 1,993 | emacs_commands.ml | |
- | rw-r--r-- | 22,708 | ext_dialog.ml | |
- | rw-r--r-- | 4,884 | gtk_ext.ml | |
- | rw-r--r-- | 13,592 | help_window.ml | |
- | rw-r--r-- | 38,123 | input.ml | |
- | rw-r--r-- | 1,274 | input.mli | |
- | rw-r--r-- | 4,105 | main.ml | |
- | rw-r--r-- | 10,242 | node_window.ml | |
- | rw-r--r-- | 35,309 | proof_tree.ml | |
- | rw-r--r-- | 5,815 | proof_tree.mli | |
- | rw-r--r-- | 54,161 | proof_window.ml | |
- | rw-r--r-- | 13,790 | prooftree.1 | |
- | rw-r--r-- | 12,208 | prooftree.man.html | |
- | rw-r--r-- | 15,648 | tree_layers.ml | |
- | rw-r--r-- | 9,135 | util.ml | |
- | rw-r--r-- | 1,080 | version.mli | |
- | rw-r--r-- | 5 | version.txt |