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 |
