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: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | po |
 |
- | rw-r--r-- | 591 | README.Debian |
|
- | rw-r--r-- | 8,707 | changelog |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 2,848 | control |
|
- | rw-r--r-- | 684 | 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-- | 429 | proofgeneral-doc.doc-base |
|
- | rw-r--r-- | 32 | proofgeneral-doc.docs |
|
- | rw-r--r-- | 114 | proofgeneral-misc.docs |
|
- | rw-r--r-- | 1,143 | proofgeneral.1 |
|
- | rw-r--r-- | 322 | proofgeneral.config |
|
- | rw-r--r-- | 159 | proofgeneral.docs |
|
- | rw-r--r-- | 183 | proofgeneral.menu |
|
- | rw-r--r-- | 1,568 | proofgeneral.postinst |
|
- | rw-r--r-- | 181 | proofgeneral.postrm |
|
- | rw-r--r-- | 183 | proofgeneral.preinst |
|
- | rw-r--r-- | 436 | proofgeneral.sh |
|
- | rw-r--r-- | 874 | proofgeneral.templates |
|
- | rw-r--r-- | 1,523 | proofgeneral.xpm |
|
- | rwxr-xr-x | 4,867 | rules |