package info
(click to toggle)
Folder: 4.5-3
 |
.. (parent) | |||
|
d | rwxr-xr-x | 49 | .github |
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 4,096 | ci |
|
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 | 154 | easycrypt |
|
d | rwxr-xr-x | 4,096 | etc |
|
d | rwxr-xr-x | 4,096 | generic |
|
d | rwxr-xr-x | 4,096 | images |
|
d | rwxr-xr-x | 4,096 | lib |
|
d | rwxr-xr-x | 28 | obsolete |
|
d | rwxr-xr-x | 33 | pghaskell |
|
d | rwxr-xr-x | 31 | pgocaml |
|
d | rwxr-xr-x | 71 | pgshell |
|
d | rwxr-xr-x | 48 | phox |
|
d | rwxr-xr-x | 55 | previous-art |
|
d | rwxr-xr-x | 52 | qrhl |
 |
- | rw-r--r-- | 113 | .gitignore |
|
- | rw-r--r-- | 1,672 | AUTHORS |
|
- | rw-r--r-- | 3,479 | BUGS |
|
- | rw-r--r-- | 29,569 | CHANGES |
|
- | rw-r--r-- | 1,152 | COMPATIBILITY |
|
- | rw-r--r-- | 35,149 | COPYING |
|
- | rw-r--r-- | 10,795 | FAQ.md |
|
- | rw-r--r-- | 5,539 | INSTALL |
|
- | rw-r--r-- | 11,089 | Makefile |
|
- | rw-r--r-- | 19,420 | Makefile.devel |
|
- | rw-r--r-- | 5,729 | README.md |
|
- | rw-r--r-- | 3,692 | proof-general.el |