package info
(click to toggle)
proofgeneral 4.4.1~pre170114-1
- links: PTS
- area: main
- in suites: stretch
- size: 20,596 kB
- ctags: 4,099
- sloc: lisp: 43,825; ml: 2,239; sh: 300; makefile: 264; perl: 159
Folder: 4.4.1~pre170114-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 89 | acl2 |
|
d | rwxr-xr-x | 33 | bin |
|
d | rwxr-xr-x | 32 | ccc |
|
d | rwxr-xr-x | 40 | contrib |
|
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 | 4,096 | etc |
|
d | rwxr-xr-x | 4,096 | generic |
|
d | rwxr-xr-x | 4,096 | hol-light |
|
d | rwxr-xr-x | 88 | hol98 |
|
d | rwxr-xr-x | 4,096 | images |
|
d | rwxr-xr-x | 4,096 | isar |
|
d | rwxr-xr-x | 4,096 | lego |
|
d | rwxr-xr-x | 4,096 | lib |
|
d | rwxr-xr-x | 62 | obsolete |
|
d | rwxr-xr-x | 25 | pghaskell |
|
d | rwxr-xr-x | 23 | pgocaml |
|
d | rwxr-xr-x | 71 | pgshell |
|
d | rwxr-xr-x | 4,096 | phox |
|
d | rwxr-xr-x | 55 | previous-art |
|
d | rwxr-xr-x | 91 | twelf |
 |
- | rw-r--r-- | 48 | .gitignore |
|
- | rw-r--r-- | 1,044 | .travis.yml |
|
- | rw-r--r-- | 743 | AUTHORS |
|
- | rw-r--r-- | 4,095 | BUGS |
|
- | rw-r--r-- | 20,523 | CHANGES |
|
- | rw-r--r-- | 1,481 | COMPATIBILITY |
|
- | rw-r--r-- | 17,992 | COPYING |
|
- | rw-r--r-- | 11,368 | FAQ.md |
|
- | rw-r--r-- | 5,740 | INSTALL |
|
- | rw-r--r-- | 10,644 | Makefile |
|
- | rw-r--r-- | 19,360 | Makefile.devel |
|
- | rw-r--r-- | 910 | Makefile.travis |
|
- | rw-r--r-- | 2,123 | README.md |
|
- | rw-r--r-- | 406 | REGISTER |