package info
(click to toggle)
Folder: 0.32+ds-3
 |
.. (parent) | |||
|
d | rwxr-xr-x | 153 | .pc |
|
d | rwxr-xr-x | 24 | aux |
|
d | rwxr-xr-x | 4,096 | coq |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | doc |
|
d | rwxr-xr-x | 32 | emacs |
|
d | rwxr-xr-x | 97 | examples |
|
d | rwxr-xr-x | 116 | hol |
|
d | rwxr-xr-x | 45 | menhir |
|
d | rwxr-xr-x | 4,096 | regression |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 4,096 | tests |
|
d | rwxr-xr-x | 4,096 | tex |
 |
- | rw-r--r-- | 215 | .gitignore |
|
- | rw-r--r-- | 1,672 | LICENCE |
|
- | rw-r--r-- | 10,338 | Makefile |
|
- | rw-r--r-- | 17,819 | README.md |
|
- | rw-r--r-- | 923 | coq-ott.opam |
|
- | rw-r--r-- | 168 | ott.install.nodoc |
|
- | rw-r--r-- | 1,511 | ott.opam |
|
- | rw-r--r-- | 2,232 | release.txt |
|
- | rw-r--r-- | 18,865 | revision_history.txt |