235 lines
13 KiB
Text
235 lines
13 KiB
Text
bin/coqtags
|
|
bin/isartags
|
|
bin/legotags
|
|
bin/proofgeneral
|
|
share/application-registry/proofgeneral.applications
|
|
share/applications/proofgeneral.desktop
|
|
man/man1/proofgeneral.1.gz
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-auto.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-auto.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-class.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-class.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cmds.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cmds.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-compat.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-compat.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cweb.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cweb.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mason.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mason.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mode.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mode.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-region.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-region.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-rpm.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-rpm.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-sample.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-sample.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-univ.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-univ.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-utils.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-utils.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-vars.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-vars.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-abbrev.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-abbrev.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-autotest.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-autotest.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-db.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-db.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-indent.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-indent.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-local-vars.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-local-vars.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-mmm.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-mmm.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-syntax.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-syntax.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-unicode-tokens.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-unicode-tokens.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-assoc.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-assoc.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-autotest.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-autotest.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-custom.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-custom.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-goals.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-goals.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-movie.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-movie.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pamacs.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pamacs.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pbrpm.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pbrpm.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pgip.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pgip.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-response.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-response.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-user.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-user.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-vars.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-vars.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-xml.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-xml.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-autoloads.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-auxmodes.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-auxmodes.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-config.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-config.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-depends.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-depends.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-easy-config.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-easy-config.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-faces.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-faces.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-indent.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-indent.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-maths-menu.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-maths-menu.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-menu.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-menu.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-mmm.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-mmm.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-script.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-script.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-shell.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-shell.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-site.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-site.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-splash.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-splash.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-syntax.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-syntax.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-toolbar.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-toolbar.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-unicode-tokens.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-unicode-tokens.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-useropts.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-useropts.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-utils.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-utils.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98/hol98.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98/hol98.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/ProofGeneral.gif
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/ProofGeneral.jpg
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/README
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-abort.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-abort.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-command.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-command.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-context.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-context.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-find.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-find.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goal.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goal.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goto.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goto.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-help.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-help.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-home.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-home.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-info.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-info.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-interrupt.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-interrupt.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-next.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-next.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-qed.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-qed.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-restart.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-restart.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-retract.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-retract.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-state.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-state.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-undo.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-undo.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-use.png
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-use.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/hiddenproof.xpm
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/interface
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/interface-setup.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/interface-setup.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isabelle-system.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isabelle-system.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-autotest.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-autotest.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-find-theorems.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-find-theorems.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-keywords.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-keywords.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-mmm.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-mmm.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-profiling.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-profiling.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-syntax.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-syntax.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-unicode-tokens.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-unicode-tokens.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isartags
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/lego-syntax.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/lego-syntax.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/lego.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/lego.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/bufhist.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/bufhist.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/holes.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/holes.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/local-vars-list.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/local-vars-list.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/maths-menu.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/maths-menu.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-fontsets.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-fontsets.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/scomint.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/scomint.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/texi-docstring-magic.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/texi-docstring-magic.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-chars.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-chars.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-tokens.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-tokens.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell/pgshell.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell/pgshell.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-extraction.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-extraction.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-font.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-font.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-fun.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-fun.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-lang.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-lang.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-outline.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-outline.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-pbrpm.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-pbrpm.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-sym-lock.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-sym-lock.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-tags.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-tags.elc
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox.el
|
|
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox.elc
|
|
%%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el
|
|
share/icons/hicolor/16x16/proofgeneral.png
|
|
share/icons/hicolor/32x32/proofgeneral.png
|
|
share/icons/hicolor/48x48/proofgeneral.png
|
|
share/mime-info/proofgeneral.keys
|
|
share/mime-info/proofgeneral.mime
|
|
share/pixmaps/proofgeneral.png
|