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: etc
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | coq |
|
d | rwxr-xr-x | 63 | demoisa |
|
d | rwxr-xr-x | 125 | desktop |
|
d | rwxr-xr-x | 68 | emacsbugs |
|
d | rwxr-xr-x | 24 | hol-light |
|
d | rwxr-xr-x | 4,096 | isar |
|
d | rwxr-xr-x | 4,096 | lego |
|
d | rwxr-xr-x | 146 | proviola |
|
d | rwxr-xr-x | 57 | testsuite |
|
d | rwxr-xr-x | 4,096 | trac |
 |
- | rw-r--r-- | 178 | ProofGeneral.desktop |
|
- | rw-r--r-- | 215 | ProofGeneral.menu |
|
- | rw-r--r-- | 2,695 | ProofGeneral.spec |
|
- | rw-r--r-- | 1,047 | README |
|
- | rw-r--r-- | 3,020 | cvs-tips.txt |
|
- | rw-r--r-- | 1,993 | development-tips.txt |
|
- | rwxr-xr-x | 334 | mmm-install |
|
- | rw-r--r-- | 426 | profiling.txt |
|
- | rw-r--r-- | 750 | proofgeneral-domain.txt |