package info
(click to toggle)
proofgeneral 3.7-4
- links: PTS
- area: main
- in suites: squeeze
- size: 9,328 kB
- ctags: 4,317
- sloc: lisp: 49,786; makefile: 466; sh: 339; perl: 205; ansic: 43
Folder: 3.7-4
 |
.. (parent) | |||
|
d | rwxr-xr-x | 116 | acl2 |
|
d | rwxr-xr-x | 33 | bin |
|
d | rwxr-xr-x | 44 | ccc |
|
d | rwxr-xr-x | 4,096 | coq |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 74 | demoisa |
|
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 | 116 | hol98 |
|
d | rwxr-xr-x | 4,096 | images |
|
d | rwxr-xr-x | 27 | isa |
|
d | rwxr-xr-x | 4,096 | isar |
|
d | rwxr-xr-x | 68 | lclam |
|
d | rwxr-xr-x | 4,096 | lego |
|
d | rwxr-xr-x | 4,096 | lib |
|
d | rwxr-xr-x | 4,096 | minlog |
|
d | rwxr-xr-x | 4,096 | mmm |
|
d | rwxr-xr-x | 71 | pgshell |
|
d | rwxr-xr-x | 4,096 | phox |
|
d | rwxr-xr-x | 94 | plastic |
|
d | rwxr-xr-x | 143 | twelf |
|
d | rwxr-xr-x | 129 | x-symbol |
 |
- | rw-r--r-- | 6 | .byte-compile |
|
- | rw-r--r-- | 427 | AUTHORS |
|
- | rw-r--r-- | 6,508 | BUGS |
|
- | rw-r--r-- | 18,614 | CHANGES |
|
- | rw-r--r-- | 925 | COMPATIBILITY |
|
- | rw-r--r-- | 17,992 | COPYING |
|
- | rw-r--r-- | 11,776 | FAQ |
|
- | rw-r--r-- | 8,088 | INSTALL |
|
- | rw-r--r-- | 9,506 | Makefile |
|
- | rw-r--r-- | 1,842 | README |
|
- | rw-r--r-- | 406 | REGISTER |