package info
(click to toggle)
Folder: 0.34+ds-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 126 | .pc |
|
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 | 142 | 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 |
|
d | rwxr-xr-x | 24 | tools |
 |
- | rw-r--r-- | 258 | .gitignore |
|
- | rw-r--r-- | 7 | .holpath |
|
- | rw-r--r-- | 1,672 | LICENCE |
|
- | rw-r--r-- | 10,338 | Makefile |
|
- | rw-r--r-- | 17,861 | README.md |
|
- | rw-r--r-- | 939 | coq-ott.opam |
|
- | rw-r--r-- | 168 | ott.install.nodoc |
|
- | rw-r--r-- | 1,802 | ott.opam |
|
- | rw-r--r-- | 2,504 | release.txt |
|
- | rw-r--r-- | 19,569 | revision_history.txt |