package info (click to toggle)
proofgeneral 4.5-3
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 5,172 kB
  • sloc: lisp: 33,783; makefile: 388; sh: 118; perl: 109

Folder: generic

d .. (parent)
- - rw-r--r-- 393 README
- - rw-r--r-- 2,531 pg-assoc.el
- - rw-r--r-- 9,310 pg-autotest.el
- - rw-r--r-- 8,199 pg-custom.el
- - rwxr-xr-x 4,739 pg-goals.el
- - rw-r--r-- 4,270 pg-movie.el
- - rw-r--r-- 10,286 pg-pamacs.el
- - rw-r--r-- 22,452 pg-pbrpm.el
- - rw-r--r-- 23,553 pg-pgip.el
- - rw-r--r-- 21,730 pg-response.el
- - rw-r--r-- 50,247 pg-user.el
- - rw-r--r-- 11,262 pg-vars.el
- - rw-r--r-- 7,877 pg-xml.el
- - rw-r--r-- 43,731 proof-autoloads.el
- - rw-r--r-- 1,806 proof-auxmodes.el
- - rw-r--r-- 76,444 proof-config.el
- - rw-r--r-- 10,722 proof-depends.el
- - rw-r--r-- 4,429 proof-easy-config.el
- - rw-r--r-- 8,871 proof-faces.el
- - rw-r--r-- 3,651 proof-indent.el
- - rw-r--r-- 2,153 proof-maths-menu.el
- - rw-r--r-- 38,716 proof-menu.el
- - rw-r--r-- 117,014 proof-script.el
- - rw-r--r-- 78,457 proof-shell.el
- - rw-r--r-- 11,723 proof-site.el
- - rw-r--r-- 11,600 proof-splash.el
- - rw-r--r-- 12,124 proof-syntax.el
- - rw-r--r-- 9,038 proof-toolbar.el
- - rw-r--r-- 52,264 proof-tree.el
- - rw-r--r-- 5,448 proof-unicode-tokens.el
- - rw-r--r-- 18,610 proof-useropts.el
- - rw-r--r-- 31,201 proof-utils.el
- - rw-r--r-- 1,614 proof.el