package info
(click to toggle)
proofgeneral 3.5-4.1
- links: PTS
- area: main
- in suites: etch, etch-m68k
- size: 8,120 kB
- ctags: 3,972
- sloc: lisp: 34,872; makefile: 452; sh: 323; perl: 205; ansic: 43
Folder: 3.5-4.1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | 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 | 123 | 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 | 4,096 | hol98 |
|
d | rwxr-xr-x | 4,096 | images |
|
d | rwxr-xr-x | 4,096 | isa |
|
d | rwxr-xr-x | 4,096 | isar |
|
d | rwxr-xr-x | 88 | lclam |
|
d | rwxr-xr-x | 4,096 | lego |
|
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 | 145 | plastic |
|
d | rwxr-xr-x | 4,096 | twelf |
|
d | rwxr-xr-x | 129 | x-symbol |
 |
- | rw-r--r-- | 612 | AUTHORS |
|
- | rw-r--r-- | 8,082 | BUGS |
|
- | rw-r--r-- | 11,298 | CHANGES |
|
- | rw-r--r-- | 17,992 | COPYING |
|
- | rw-r--r-- | 9,737 | FAQ |
|
- | rw-r--r-- | 375 | IMPORTANT |
|
- | rw-r--r-- | 7,023 | INSTALL |
|
- | rw-r--r-- | 8,194 | Makefile |
|
- | rw-r--r-- | 2,863 | README |
|
- | rw-r--r-- | 2,346 | README.exper |
|
- | rw-r--r-- | 406 | REGISTER |
|
- | rw-r--r-- | 1,228 | TODO |