| -rw-r--r-- | 2908 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.el
|
| -rw-r--r-- | 308 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/acl2/x-symbol-acl2.el
|
| -rw-r--r-- | 3144 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.el
|
| -rw-r--r-- | 6141 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el
|
| -rw-r--r-- | 529 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el
|
| -rw-r--r-- | 8790 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el
|
| -rw-r--r-- | 29695 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el
|
| -rw-r--r-- | 7449 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el
|
| -rw-r--r-- | 1300 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el
|
| -rw-r--r-- | 48138 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el
|
| -rw-r--r-- | 3724 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el
|
| -rw-r--r-- | 64169 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el
|
| -rw-r--r-- | 14793 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/coq/x-symbol-coq.el
|
| -rw-r--r-- | 2741 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/demoisa/demoisa-easy.el
|
| -rw-r--r-- | 4621 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/demoisa/demoisa.el
|
| -rw-r--r-- | 11168 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el
|
| -rw-r--r-- | 3536 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el
|
| -rw-r--r-- | 8296 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el
|
| -rw-r--r-- | 1445 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-display-table.el
|
| -rw-r--r-- | 9980 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el
|
| -rw-r--r-- | 21722 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el
|
| -rw-r--r-- | 22890 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el
|
| -rw-r--r-- | 19350 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el
|
| -rw-r--r-- | 2931 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-thymodes.el
|
| -rw-r--r-- | 46109 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el
|
| -rw-r--r-- | 6786 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el
|
| -rw-r--r-- | 7677 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el
|
| -rw-r--r-- | 25139 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el
|
| -rw-r--r-- | 2357 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el
|
| -rw-r--r-- | 96667 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el
|
| -rw-r--r-- | 9366 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el
|
| -rw-r--r-- | 4082 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el
|
| -rw-r--r-- | 3312 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el
|
| -rw-r--r-- | 2002 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el
|
| -rw-r--r-- | 34366 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el
|
| -rw-r--r-- | 2682 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.el
|
| -rw-r--r-- | 116380 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el
|
| -rw-r--r-- | 74436 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el
|
| -rw-r--r-- | 13053 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el
|
| -rw-r--r-- | 11744 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el
|
| -rw-r--r-- | 10004 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el
|
| -rw-r--r-- | 16413 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el
|
| -rw-r--r-- | 5010 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el
|
| -rw-r--r-- | 37367 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el
|
| -rw-r--r-- | 13587 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-x-symbol.el
|
| -rw-r--r-- | 1236 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof.el
|
| -rw-r--r-- | 5553 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/hol98/hol98.el
|
| -rw-r--r-- | 310 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/hol98/x-symbol-hol98.el
|
| -rw-r--r-- | 1124 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/isar/interface-setup.el
|
| -rw-r--r-- | 16269 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/isar/isabelle-system.el
|
| -rw-r--r-- | 1239 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-autotest.el
|
| -rw-r--r-- | 17022 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-find-theorems.el
|
| -rw-r--r-- | 8384 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-keywords.el
|
| -rw-r--r-- | 2079 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-mmm.el
|
| -rw-r--r-- | 17450 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-syntax.el
|
| -rw-r--r-- | 16112 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-unicode-tokens.el
|
| -rw-r--r-- | 23164 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/isar/isar.el
|
| -rw-r--r-- | 16702 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/isar/x-symbol-isar.el
|
| -rw-r--r-- | 6402 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lclam/lclam.el
|
| -rw-r--r-- | 4447 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lego/lego-syntax.el
|
| -rw-r--r-- | 15455 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lego/lego.el
|
| -rw-r--r-- | 357 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lego/x-symbol-lego.el
|
| -rw-r--r-- | 12472 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el
|
| -rw-r--r-- | 531 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/holes-load.el
|
| -rw-r--r-- | 28006 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/holes.el
|
| -rw-r--r-- | 7191 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el
|
| -rw-r--r-- | 12361 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el
|
| -rw-r--r-- | 2911 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el
|
| -rw-r--r-- | 2123 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el
|
| -rw-r--r-- | 22533 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el
|
| -rw-r--r-- | 4296 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/span-extent.el
|
| -rw-r--r-- | 7925 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/span-overlay.el
|
| -rw-r--r-- | 1075 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/span.el
|
| -rw-r--r-- | 14448 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el
|
| -rw-r--r-- | 246538 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el
|
| -rw-r--r-- | 28483 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el
|
| -rw-r--r-- | 16240 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/lib/xml-fixed.el
|
| -rw-r--r-- | 6768 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-auto.el
|
| -rw-r--r-- | 12352 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-class.el
|
| -rw-r--r-- | 16467 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-cmds.el
|
| -rw-r--r-- | 6360 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-compat.el
|
| -rw-r--r-- | 2767 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-cweb.el
|
| -rw-r--r-- | 5436 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-mason.el
|
| -rw-r--r-- | 10856 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-mode.el
|
| -rw-r--r-- | 13472 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-noweb.el
|
| -rw-r--r-- | 32409 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-region.el
|
| -rw-r--r-- | 2743 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-rpm.el
|
| -rw-r--r-- | 11982 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-sample.el
|
| -rw-r--r-- | 1921 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-univ.el
|
| -rw-r--r-- | 5401 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-utils.el
|
| -rw-r--r-- | 39112 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-vars.el
|
| -rw-r--r-- | 1270 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/pgshell/pgshell.el
|
| -rw-r--r-- | 5397 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-extraction.el
|
| -rw-r--r-- | 3336 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-font.el
|
| -rw-r--r-- | 12191 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-fun.el
|
| -rw-r--r-- | 1570 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-lang.el
|
| -rw-r--r-- | 1996 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-outline.el
|
| -rw-r--r-- | 10940 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-pbrpm.el
|
| -rw-r--r-- | 14388 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-sym-lock.el
|
| -rw-r--r-- | 3548 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-tags.el
|
| -rw-r--r-- | 8152 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/phox/phox.el
|
| -rw-r--r-- | 7832 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/phox/x-symbol-phox.el
|
| -rw-r--r-- | 4518 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/plastic/plastic-syntax.el
|
| -rw-r--r-- | 23875 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/plastic/plastic.el
|
| -rw-r--r-- | 16578 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-font.el
|
| -rw-r--r-- | 107514 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-old.el
|
| -rw-r--r-- | 6894 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf.el
|
| -rw-r--r-- | 312 | root |
root |
/usr/share/emacs/site-lisp/proofgeneral/twelf/x-symbol-twelf.el
|
