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: phox
 |
.. (parent) | |||
 |
- | rw-r--r-- | 541 | README |
|
- | rw-r--r-- | 299 | example.phx |
|
- | rw-r--r-- | 5,397 | phox-extraction.el |
|
- | rw-r--r-- | 4,265 | phox-extraction.elc |
|
- | rw-r--r-- | 3,284 | phox-font.el |
|
- | rw-r--r-- | 2,519 | phox-font.elc |
|
- | rw-r--r-- | 12,191 | phox-fun.el |
|
- | rw-r--r-- | 9,553 | phox-fun.elc |
|
- | rw-r--r-- | 1,996 | phox-outline.el |
|
- | rw-r--r-- | 1,796 | phox-outline.elc |
|
- | rw-r--r-- | 14,110 | phox-sym-lock.el |
|
- | rw-r--r-- | 10,249 | phox-sym-lock.elc |
|
- | rw-r--r-- | 3,563 | phox-tags.el |
|
- | rw-r--r-- | 2,597 | phox-tags.elc |
|
- | rw-r--r-- | 9,216 | phox.el |
|
- | rw-r--r-- | 8,634 | phox.elc |
|
- | rw-r--r-- | 2,934 | root2.phx |
|
- | rw-r--r-- | 6,864 | x-symbol-phox.el |
|
- | rw-r--r-- | 5,280 | x-symbol-phox.elc |