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: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | po |
 |
- | rw-r--r-- | 591 | README.Debian |
|
- | rw-r--r-- | 5,846 | changelog |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 2,896 | control |
|
- | rw-r--r-- | 608 | copyright |
|
- | rw-r--r-- | 1,090 | coqtags.1 |
|
- | rw-r--r-- | 1,134 | isartags.1 |
|
- | rw-r--r-- | 1,059 | legotags.1 |
|
- | rw-r--r-- | 57 | proofgeneral-coq.docs |
|
- | rw-r--r-- | 14 | proofgeneral-coq.examples |
|
- | rw-r--r-- | 386 | proofgeneral-doc.doc-base |
|
- | rw-r--r-- | 11 | proofgeneral-doc.docs |
|
- | rw-r--r-- | 114 | proofgeneral-misc.docs |
|
- | rw-r--r-- | 1,143 | proofgeneral.1 |
|
- | rw-r--r-- | 314 | proofgeneral.config |
|
- | rw-r--r-- | 138 | proofgeneral.docs |
|
- | rw-r--r-- | 160 | proofgeneral.menu |
|
- | rw-r--r-- | 1,538 | proofgeneral.postinst |
|
- | rw-r--r-- | 252 | proofgeneral.postrm |
|
- | rw-r--r-- | 183 | proofgeneral.preinst |
|
- | rw-r--r-- | 223 | proofgeneral.prerm |
|
- | rw-r--r-- | 436 | proofgeneral.sh |
|
- | rw-r--r-- | 563 | proofgeneral.templates |
|
- | rw-r--r-- | 1,523 | proofgeneral.xpm |
|
- | rwxr-xr-x | 5,555 | rules |