bin/coqtags
bin/isartags
bin/legotags
bin/proofgeneral
share/application-registry/proofgeneral.applications
share/applications/proofgeneral.desktop
%%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
@dirrmtry share/icons/hicolor/48x48
@dirrmtry share/icons/hicolor/32x32
@dirrmtry share/icons/hicolor/16x16
@dirrmtry share/icons/hicolor
@dirrmtry share/icons
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/phox
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lego
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/isar
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/coq
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral
@dirrmtry share/pixmaps