drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/acl2
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/ccc
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/demoisa
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/hol98
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lclam
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lego
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/pgshell
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/plastic
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/twelf
|
-rw-r--r-- | 2385 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/acl2/acl2.elc
|
-rw-r--r-- | 731 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/acl2/x-symbol-acl2.elc
|
-rw-r--r-- | 2611 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/ccc/ccc.elc
|
-rw-r--r-- | 4251 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq/coq-abbrev.elc
|
-rw-r--r-- | 1703 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq/coq-autotest.elc
|
-rw-r--r-- | 6310 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq/coq-db.elc
|
-rw-r--r-- | 15636 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq/coq-indent.elc
|
-rw-r--r-- | 5888 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq/coq-local-vars.elc
|
-rw-r--r-- | 1328 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq/coq-mmm.elc
|
-rw-r--r-- | 37223 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq/coq-syntax.elc
|
-rw-r--r-- | 3707 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq/coq-unicode-tokens.elc
|
-rw-r--r-- | 43644 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq/coq.elc
|
-rw-r--r-- | 11152 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/coq/x-symbol-coq.elc
|
-rw-r--r-- | 2088 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/demoisa/demoisa-easy.elc
|
-rw-r--r-- | 8634 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/demoisa/demoisa.elc
|
-rw-r--r-- | 7405 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-assoc.elc
|
-rw-r--r-- | 3144 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-autotest.elc
|
-rw-r--r-- | 6831 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-custom.elc
|
-rw-r--r-- | 1481 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-display-table.elc
|
-rw-r--r-- | 6725 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-goals.elc
|
-rw-r--r-- | 14568 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-pbrpm.elc
|
-rw-r--r-- | 14564 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-pgip.elc
|
-rw-r--r-- | 12749 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-response.elc
|
-rw-r--r-- | 2388 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-thymodes.elc
|
-rw-r--r-- | 29361 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-user.elc
|
-rw-r--r-- | 6819 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-vars.elc
|
-rw-r--r-- | 8437 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/pg-xml.elc
|
-rw-r--r-- | 20454 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-autoloads.elc
|
-rw-r--r-- | 2688 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-auxmodes.elc
|
-rw-r--r-- | 92770 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-config.elc
|
-rw-r--r-- | 6876 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-depends.elc
|
-rw-r--r-- | 2705 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-easy-config.elc
|
-rw-r--r-- | 2743 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-indent.elc
|
-rw-r--r-- | 1603 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-maths-menu.elc
|
-rw-r--r-- | 23214 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-menu.elc
|
-rw-r--r-- | 1408 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-mmm.elc
|
-rw-r--r-- | 60403 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-script.elc
|
-rw-r--r-- | 39943 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-shell.elc
|
-rw-r--r-- | 7751 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-site.elc
|
-rw-r--r-- | 6906 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-splash.elc
|
-rw-r--r-- | 8143 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-syntax.elc
|
-rw-r--r-- | 9064 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-toolbar.elc
|
-rw-r--r-- | 4756 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-unicode-tokens.elc
|
-rw-r--r-- | 23058 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-utils.elc
|
-rw-r--r-- | 6440 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof-x-symbol.elc
|
-rw-r--r-- | 767 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/generic/proof.elc
|
-rw-r--r-- | 4133 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/hol98/hol98.elc
|
-rw-r--r-- | 734 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/hol98/x-symbol-hol98.elc
|
-rw-r--r-- | 18165 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/ProofGeneral.gif
|
-rw-r--r-- | 16123 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/ProofGeneral.jpg
|
-rw-r--r-- | 623 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/README
|
-rw-r--r-- | 319 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-abort.png
|
-rw-r--r-- | 908 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-abort.xpm
|
-rw-r--r-- | 764 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-command.png
|
-rw-r--r-- | 4475 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-command.xpm
|
-rw-r--r-- | 820 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-context.png
|
-rw-r--r-- | 3291 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-context.xpm
|
-rw-r--r-- | 733 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-find.png
|
-rw-r--r-- | 3832 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-find.xpm
|
-rw-r--r-- | 996 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-goal.png
|
-rw-r--r-- | 5432 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-goal.xpm
|
-rw-r--r-- | 448 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-goto.png
|
-rw-r--r-- | 1447 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-goto.xpm
|
-rw-r--r-- | 829 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-help.png
|
-rw-r--r-- | 4840 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-help.xpm
|
-rw-r--r-- | 721 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-info.png
|
-rw-r--r-- | 3000 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-info.xpm
|
-rw-r--r-- | 287 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-interrupt.png
|
-rw-r--r-- | 1047 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-interrupt.xpm
|
-rw-r--r-- | 202 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-next.png
|
-rw-r--r-- | 786 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-next.xpm
|
-rw-r--r-- | 1102 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-qed.png
|
-rw-r--r-- | 6551 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-qed.xpm
|
-rw-r--r-- | 273 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-restart.png
|
-rw-r--r-- | 789 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-restart.xpm
|
-rw-r--r-- | 212 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-retract.png
|
-rw-r--r-- | 789 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-retract.xpm
|
-rw-r--r-- | 817 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-state.png
|
-rw-r--r-- | 3289 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-state.xpm
|
-rw-r--r-- | 198 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-undo.png
|
-rw-r--r-- | 786 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-undo.xpm
|
-rw-r--r-- | 203 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-use.png
|
-rw-r--r-- | 785 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/epg-use.xpm
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/gimp
|
-rw-r--r-- | 1638 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/hiddenproof.xpm
|
-rw-r--r-- | 1769 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-abort.xpm
|
-rw-r--r-- | 7072 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-command.xpm
|
-rw-r--r-- | 4576 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-context.xpm
|
-rw-r--r-- | 5837 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-find.xpm
|
-rw-r--r-- | 11069 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-goal.xpm
|
-rw-r--r-- | 2221 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-goto.xpm
|
-rw-r--r-- | 7581 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-help.xpm
|
-rw-r--r-- | 2398 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-info.xpm
|
-rw-r--r-- | 2013 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-interrupt.xpm
|
-rw-r--r-- | 1588 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-next.xpm
|
-rw-r--r-- | 10860 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-qed.xpm
|
-rw-r--r-- | 1531 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-restart.xpm
|
-rw-r--r-- | 1636 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-retract.xpm
|
-rw-r--r-- | 4574 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-state.xpm
|
-rw-r--r-- | 1588 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-undo.xpm
|
-rw-r--r-- | 1632 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/images/pg-use.xpm
|
-rwxr-xr-x | 5041 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/interface
|
-rw-r--r-- | 947 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/interface-setup.elc
|
-rw-r--r-- | 11803 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/isabelle-system.elc
|
-rw-r--r-- | 3760 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/isar-autotest.elc
|
-rw-r--r-- | 8634 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/isar-find-theorems.elc
|
-rw-r--r-- | 6710 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/isar-keywords.elc
|
-rw-r--r-- | 1508 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/isar-mmm.elc
|
-rw-r--r-- | 10764 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/isar-syntax.elc
|
-rw-r--r-- | 19526 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/isar-unicode-tokens.elc
|
-rw-r--r-- | 27244 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/isar.elc
|
-rwxr-xr-x | 2078 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/isartags
|
-rw-r--r-- | 13257 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/isar/x-symbol-isar.elc
|
-rw-r--r-- | 11051 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lclam/lclam.elc
|
-rw-r--r-- | 4041 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lego/lego-syntax.elc
|
-rw-r--r-- | 17417 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lego/lego.elc
|
-rw-r--r-- | 731 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lego/x-symbol-lego.elc
|
-rw-r--r-- | 9107 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/bufhist.elc
|
-rw-r--r-- | 1075 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/holes-load.elc
|
-rw-r--r-- | 22213 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/holes.elc
|
-rw-r--r-- | 5144 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/local-vars-list.elc
|
-rw-r--r-- | 10123 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/maths-menu.elc
|
-rw-r--r-- | 2163 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/pg-dev.elc
|
-rw-r--r-- | 1482 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/pg-fontsets.elc
|
-rw-r--r-- | 11296 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/proof-compat.elc
|
-rw-r--r-- | 9805 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/span-extent.elc
|
-rw-r--r-- | 6728 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/span-overlay.elc
|
-rw-r--r-- | 2158 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/span.elc
|
-rw-r--r-- | 7088 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/texi-docstring-magic.elc
|
-rw-r--r-- | 208659 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/unicode-chars.elc
|
-rw-r--r-- | 18365 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/unicode-tokens.elc
|
-rw-r--r-- | 8243 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/lib/xml-fixed.elc
|
-rw-r--r-- | 1044 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/pgshell/pgshell.elc
|
-rw-r--r-- | 4266 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox/phox-extraction.elc
|
-rw-r--r-- | 2517 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox/phox-font.elc
|
-rw-r--r-- | 9380 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox/phox-fun.elc
|
-rw-r--r-- | 1845 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox/phox-lang.elc
|
-rw-r--r-- | 1797 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox/phox-outline.elc
|
-rw-r--r-- | 4846 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox/phox-pbrpm.elc
|
-rw-r--r-- | 10320 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox/phox-sym-lock.elc
|
-rw-r--r-- | 2444 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox/phox-tags.elc
|
-rw-r--r-- | 11322 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox/phox.elc
|
-rw-r--r-- | 5993 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/phox/x-symbol-phox.elc
|
-rw-r--r-- | 4055 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/plastic/plastic-syntax.elc
|
-rw-r--r-- | 21500 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/plastic/plastic.elc
|
-rw-r--r-- | 9060 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/twelf/twelf-font.elc
|
-rw-r--r-- | 63585 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/twelf/twelf-old.elc
|
-rw-r--r-- | 3782 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/twelf/twelf.elc
|
-rw-r--r-- | 736 | root |
root |
/usr/share/xemacs/site-packages/lisp/proofgeneral/twelf/x-symbol-twelf.elc
|
-rw-r--r-- | 164 | root |
root |
/usr/share/xemacs/site-packages/lisp/site-start.d/pg-init.el
|