bin/coqtags bin/isartags bin/legotags bin/proofgeneral %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/x-symbol-acl2.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/x-symbol-acl2.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.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/coq/x-symbol-coq.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/x-symbol-coq.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa-easy.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa-easy.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa.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-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-thymodes.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-thymodes.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-autoloads.elc %%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-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-utils.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-utils.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-x-symbol.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-x-symbol.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/hol98/x-symbol-hol98.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98/x-symbol-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-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/gimp/.cvsignore %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/hiddenproof.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-abort.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-command.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-context.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-find.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-goal.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-goto.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-help.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-info.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-interrupt.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-next.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-qed.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-restart.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-retract.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-state.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-undo.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-use.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-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/isar/x-symbol-isar.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/x-symbol-isar.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/lclam/lclam.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/lclam/lclam.elc %%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/lego/x-symbol-lego.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/x-symbol-lego.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/bufhist.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/bufhist.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/holes-load.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/holes-load.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/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/span-extent.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span-extent.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span-overlay.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span-overlay.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/lib/xml-fixed.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/xml-fixed.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-auto.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-auto.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-class.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-class.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-cmds.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-cmds.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-compat.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-compat.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-cweb.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-cweb.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-mason.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-mason.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-mode.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-mode.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-noweb.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-noweb.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-region.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-region.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-rpm.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-rpm.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-sample.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-sample.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-univ.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-univ.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-utils.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-utils.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-vars.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-vars.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%%/ProofGeneral/phox/x-symbol-phox.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/x-symbol-phox.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic-syntax.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic-syntax.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-font.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-font.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-old.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-old.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/x-symbol-twelf.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/x-symbol-twelf.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/README.x-symbol-for-ProofGeneral %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/Makefile.emacs %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/RIP.xbm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/bigfonts/README %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/bigfonts/fonts.tar %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/colormap138.xpm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/drawing.xbm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/escherknot.xbm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/README %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/isaxsym.ttf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/XSymb0Medium.ttf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/XSymb1Medium.ttf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/2helvR12.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/2helvR14.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/3helvR12.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/3helvR14.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/5etl14.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/5etl16.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/Makefile %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/heriR12.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/heriR14.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/makesub %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/nilxs.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb0_12.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb0_14.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb0_18.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb0_24.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb1_12.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb1_14.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb1_18.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb1_24.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR12sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR12sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR14sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR14sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR12sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR12sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR14sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR14sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/5etl14sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/5etl14sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/5etl16sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/5etl16sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR12sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR12sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR14sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR14sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR18sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR18sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR24sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR24sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/heriR12sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/heriR12sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/heriR14sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/heriR14sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_12sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_12sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_14sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_14sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_18sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_18sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_24sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_24sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_12sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_12sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_14sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_14sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_18sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_18sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_24sub.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_24sup.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/hourglass.xbm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/origfonts/helvR12.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/origfonts/helvR14.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/origfonts/helvR18.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/origfonts/helvR24.bdf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR12.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR12sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR12sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR14.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR14sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR14sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR12.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR12sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR12sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR14.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR14sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR14sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl14.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl14sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl14sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl16.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl16sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl16sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/fonts.dir %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR12sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR12sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR14sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR14sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR18sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR18sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR24sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR24sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR12.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR12sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR12sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR14.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR14sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR14sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/nilxs.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_12.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_12sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_12sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_14.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_14sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_14sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_18.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_18sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_18sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_24.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_24sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_24sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_12.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_12sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_12sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_14.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_14sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_14sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_18.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_18sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_18sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_24.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_24sub.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_24sup.pcf %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/recycle.xbm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/termlock.xbm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/utf-unicode-list.txt %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/info/x-symbol.info %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/ChangeLog %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/Makefile %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/_pkg.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/auto-autoloads.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/custom-load.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/makefile.pkg %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-autoloads.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-bib.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-bib.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-emacs.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-hooks.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-hooks.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-image.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-image.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-macs.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-macs.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-mule.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-mule.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-nomule.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-sgml.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-sgml.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-tex.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-tex.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-texi.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-texi.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-unichars.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-unicode-extras.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-unicode.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-vars.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-vars.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-xmacs.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/man/Makefile %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/man/x-symbol.css %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/man/x-symbol.init %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/man/x-symbol.texi %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/pkginfo/MANIFEST.x-symbol %%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el share/application-registry/proofgeneral.applications share/applications/proofgeneral.desktop share/pixmaps/proofgeneral.png share/icons/hicolor/16x16/proofgeneral.png share/icons/hicolor/32x32/proofgeneral.png share/icons/hicolor/48x48/proofgeneral.png share/mime-info/proofgeneral.mime share/mime-info/proofgeneral.keys %%PORTDOCS%%%%DOCSDIR%%/AUTHORS %%PORTDOCS%%%%DOCSDIR%%/BUGS %%PORTDOCS%%%%DOCSDIR%%/CHANGES %%PORTDOCS%%%%DOCSDIR%%/COMPATIBILITY %%PORTDOCS%%%%DOCSDIR%%/COPYING %%PORTDOCS%%%%DOCSDIR%%/INSTALL %%PORTDOCS%%%%DOCSDIR%%/PG-adapting.pdf %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_1.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_10.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_11.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_12.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_13.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_14.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_15.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_16.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_17.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_18.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_19.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_2.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_3.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_4.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_5.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_6.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_7.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_8.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_9.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_abt.html %%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_toc.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral.pdf %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_1.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_10.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_11.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_12.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_13.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_14.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_15.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_16.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_17.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_18.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_19.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_2.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_20.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_21.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_3.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_4.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_5.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_6.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_7.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_8.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_9.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_abt.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_fot.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_toc.html %%PORTDOCS%%%%DOCSDIR%%/README %%PORTDOCS%%%%DOCSDIR%%/REGISTER %%PORTDOCS%%%%DOCSDIR%%/acl2/example.acl2 %%PORTDOCS%%%%DOCSDIR%%/acl2/root2.acl2 %%PORTDOCS%%%%DOCSDIR%%/hol98/example.sml %%PORTDOCS%%%%DOCSDIR%%/hol98/root2.sml %%PORTDOCS%%%%DOCSDIR%%/isar/Example-Xsym.thy %%PORTDOCS%%%%DOCSDIR%%/isar/Example.thy %%PORTDOCS%%%%DOCSDIR%%/isar/KnasterTarski.thy %%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Isar.thy %%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Tactic.thy %%PORTDOCS%%%%DOCSDIR%%/isar/Tarski.thy %%PORTDOCS%%%%DOCSDIR%%/lclam/example.lcm %%PORTDOCS%%%%DOCSDIR%%/lego/example.l %%PORTDOCS%%%%DOCSDIR%%/lego/example2.l %%PORTDOCS%%%%DOCSDIR%%/lego/root2.l %%PORTDOCS%%%%DOCSDIR%%/pgshell/example.pgsh %%PORTDOCS%%%%DOCSDIR%%/phox/example.phx %%PORTDOCS%%%%DOCSDIR%%/phox/square-root-2.phx %%PORTDOCS%%%%DOCSDIR%%/plastic/test.lf %%PORTDOCS%%%%DOCSDIR%%/twelf/example.elf %%PORTDOCS%%@dirrm %%DOCSDIR%%/twelf %%PORTDOCS%%@dirrm %%DOCSDIR%%/plastic %%PORTDOCS%%@dirrm %%DOCSDIR%%/phox %%PORTDOCS%%@dirrm %%DOCSDIR%%/pgshell %%PORTDOCS%%@dirrm %%DOCSDIR%%/lego %%PORTDOCS%%@dirrm %%DOCSDIR%%/lclam %%PORTDOCS%%@dirrm %%DOCSDIR%%/isar %%PORTDOCS%%@dirrm %%DOCSDIR%%/hol98 %%PORTDOCS%%@dirrm %%DOCSDIR%%/acl2 %%PORTDOCS%%@dirrm %%DOCSDIR%%/ProofGeneral %%PORTDOCS%%@dirrm %%DOCSDIR%%/PG-adapting %%PORTDOCS%%@dirrm %%DOCSDIR%% @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/pkginfo @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/man @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/info @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/origfonts @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/bigfonts @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/phox @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lego @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lclam @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/isar @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/gimp @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98 @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/coq @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2 @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral @dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d @dirrmtry share/applications