package info
(click to toggle)
proofgeneral 4.2~pre120605-2
- links: PTS
- area: main
- in suites: wheezy
- size: 5,060 kB
- sloc: lisp: 35,277; ml: 2,239; sh: 288; makefile: 250; perl: 159
Folder: 4.2~pre120605-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 89 | acl2 |
|
d | rwxr-xr-x | 25 | bin |
|
d | rwxr-xr-x | 44 | ccc |
|
d | rwxr-xr-x | 24 | 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 | 68 | 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 | 56 | pghaskell |
|
d | rwxr-xr-x | 23 | pgocaml |
|
d | rwxr-xr-x | 71 | pgshell |
|
d | rwxr-xr-x | 4,096 | phox |
|
d | rwxr-xr-x | 115 | twelf |
 |
- | rw-r--r-- | 42 | .cvsignore |
|
- | rw-r--r-- | 672 | AUTHORS |
|
- | rw-r--r-- | 4,095 | BUGS |
|
- | rw-r--r-- | 8,294 | CHANGES |
|
- | rw-r--r-- | 2,065 | COMPATIBILITY |
|
- | rw-r--r-- | 17,992 | COPYING |
|
- | rw-r--r-- | 10,352 | FAQ |
|
- | rw-r--r-- | 5,390 | INSTALL |
|
- | rw-r--r-- | 9,493 | Makefile |
|
- | rw-r--r-- | 20,687 | Makefile.devel |
|
- | rw-r--r-- | 1,936 | README |
|
- | rw-r--r-- | 406 | REGISTER |
|
- | rw-r--r-- | 124,329 | TAGS |