diff options
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 6 | ||||
| -rw-r--r-- | math/proofgeneral/distinfo | 6 | ||||
| -rw-r--r-- | math/proofgeneral/files/patch-Makefile | 93 | ||||
| -rw-r--r-- | math/proofgeneral/files/patch-doc-Makefile.doc | 20 | ||||
| -rw-r--r-- | math/proofgeneral/files/patch-isa_isabelle-system.el | 13 | ||||
| -rw-r--r-- | math/proofgeneral/files/pkg-message.in | 2 | ||||
| -rw-r--r-- | math/proofgeneral/pkg-plist | 1030 |
7 files changed, 593 insertions, 577 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 298e87dfc6c0..a564534747ac 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -6,11 +6,11 @@ # PORTNAME= proofgeneral -PORTVERSION= 3.6 -PORTREVISION= 8 +PORTVERSION= 3.7 CATEGORIES= math elisp MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ -DISTNAME= ProofGeneral-3.6pre061107 +DISTNAME= ProofGeneral-3.7 +EXTRACT_SUFX= .tgz MAINTAINER= timbob@bigpond.com COMMENT= A generic interface for proof assistants diff --git a/math/proofgeneral/distinfo b/math/proofgeneral/distinfo index d613033d5c92..011164ebed1b 100644 --- a/math/proofgeneral/distinfo +++ b/math/proofgeneral/distinfo @@ -1,3 +1,3 @@ -MD5 (ProofGeneral-3.6pre061107.tar.gz) = 679dc2c9951f305959420e7514416dcb -SHA256 (ProofGeneral-3.6pre061107.tar.gz) = c3c2877e0c4c823b48129e3abaa1ca2e82581664999a9f140cdda89086f32fb5 -SIZE (ProofGeneral-3.6pre061107.tar.gz) = 1906638 +MD5 (ProofGeneral-3.7.tgz) = 87c546b914a08dfe014ef55af3e9f92f +SHA256 (ProofGeneral-3.7.tgz) = 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e +SIZE (ProofGeneral-3.7.tgz) = 1981651 diff --git a/math/proofgeneral/files/patch-Makefile b/math/proofgeneral/files/patch-Makefile index 94175219e19c..a44c95e9a92c 100644 --- a/math/proofgeneral/files/patch-Makefile +++ b/math/proofgeneral/files/patch-Makefile @@ -1,15 +1,15 @@ ---- Makefile.orig Sat Sep 23 05:26:01 2006 -+++ Makefile Mon Mar 5 19:53:43 2007 -@@ -15,7 +15,7 @@ +--- Makefile.orig 2008-02-01 00:06:38.000000000 +1100 ++++ Makefile 2008-02-23 20:45:58.000000000 +1100 +@@ -21,7 +21,7 @@ # Set this to "emacs" or "xemacs" according to your version of Emacs. # NB: this is also used to set default install path names below. --EMACS=$(shell if [ -z "`which xemacs`" ]; then echo emacs; else echo xemacs; fi) +-EMACS=$(shell if [ -z "`which emacs`" ]; then echo xemacs; else echo emacs; fi) +EMACS=${EMACS_NAME} # We default to /usr rather than /usr/local because installs of # desktop and doc files under /usr/local are unlikely to work with -@@ -23,8 +23,7 @@ +@@ -29,8 +29,7 @@ # individually before the install section. # NB: DEST_PREFIX is used for final destination prefix, in case we're # packaging into a build prefix rather than live root (e.g. in rpmbuild). @@ -19,16 +19,27 @@ PWD=$(shell pwd) -@@ -78,7 +77,7 @@ - ## compiles. +@@ -75,8 +74,8 @@ + ## old .elc's and re-compile. ## - compile: .byte-compile -- lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile; make .byte-compile; fi -+ lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile; $(MAKE) .byte-compile; fi - - - .byte-compile: $(EL) x-symbol/lisp/*.el -@@ -136,42 +135,37 @@ + compile: $(EL) x-symbol/lisp/*.el +- lastemacs=`cat .byte-compile 2>/dev/null || echo `; if [ "$$lastemacs" != "" ] && [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile $(ELC) x-symbol/lisp/*.elc; fi +- make .byte-compile ++ lastemacs=`cat .byte-compile 2>/dev/null || echo `; if [ "$$lastemacs" != "" ] && [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile $(ELC) x-symbol/lisp/*.elc; fi ++ $(MAKE) .byte-compile + + ## Compiling can show up errors in the code, but be wary of fixing obsoletion + ## or argument call warnings unless they're valid for both Emacsen. +@@ -85,7 +84,7 @@ + @echo "****************************************************************" + @echo " Byte compiling... " + @echo "****************************************************************" +- make elc ++ $(MAKE) elc + @echo " Byte compiling X-Symbol..." + (cd x-symbol/lisp; $(MAKE) EMACS="$(EMACS) -q -no-site-file") + echo $(EMACS) > $(@) +@@ -137,39 +136,35 @@ # Set Elisp directories according to paths used in Red Hat RPMs # (which may or may not be official Emacs policy). We generate # a pg-init.el file which loads the appropriate proof-site.el. @@ -39,7 +50,7 @@ -ELISPP=share/${EMACS}/site-lisp/ProofGeneral -ELISP_START=${PREFIX}/share/${EMACS}/site-lisp/site-start.d -endif -+ELISPP=${EMACS_SITE_LISPDIR}/proofgeneral ++ELISPP=${EMACS_SITE_LISPDIR}/ProofGeneral +ELISP_START=${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d ELISP=${PREFIX}/${ELISPP} @@ -55,7 +66,7 @@ +INFODIR=${PREFIX}/info -install: install-desktop install-elisp install-bin install-init -+install: install-desktop install-elisp install-bin install-init ${INSTALLDOC} ++install: install-desktop install-elisp install-bin install-init install-man ${INSTALLDOC} install-desktop: - mkdir -p ${DESKTOP}/icons/hicolor/16x16 @@ -71,28 +82,24 @@ - mkdir -p ${DESKTOP}/mime-info - cp etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info - cp etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info -+ if [ -d ${DESKTOP}/icons/hicolor ]; then \ -+ ${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16; \ -+ ${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32; \ -+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48; \ -+ fi -+ -+ if [ -d ${DESKTOP} ]; then \ -+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps; \ -+ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications; \ -+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info; \ -+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info; \ -+ fi ++ for f in 16x16 32x32 48x48; do \ ++ if [ ! -d "${DESKTOP}/icons/hicolor/$$f" ]; then \ ++ mkdir -p ${DESKTOP}/icons/hicolor/$$f; \ ++ fi; \ ++ done ++ ${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16/ ++ ${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32/ ++ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48/ ++ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps/ ++ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications ++ if [ ! -d ${DESKTOP}/mime-info ]; then mkdir ${DESKTOP}/mime-info; fi ++ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info/ ++ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info/ + # backwards compatibility with old linuxes -- mkdir -p ${DESKTOP}/application-registry -- cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry -+ mkdir -p ${DESKTOP}/application-registry -+ cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry - - # NB: .el files are not strictly necessary, but we package/install them - # for the time being to help with debugging, or for users to recompile. -@@ -186,15 +180,23 @@ + mkdir -p ${DESKTOP}/application-registry + cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry +@@ -190,15 +185,23 @@ install-el: mkdir -p ${ELISP} for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done @@ -121,7 +128,7 @@ install-init: mkdir -p ${ELISP_START} -@@ -204,24 +206,31 @@ +@@ -208,24 +211,33 @@ install-bin: scripts mkdir -p ${BINDIR} @@ -129,7 +136,7 @@ + ${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR} -install-doc: doc.info doc.pdf -+install-doc: doc.info doc.pdf doc.html ++install-man: doc.info mkdir -p ${MANDIR} - cp -pf doc/proofgeneral.1 ${MANDIR} - mkdir -p ${INFODIR} @@ -139,6 +146,8 @@ + ${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR} + ${BSD_INSTALL_MAN} doc/PG-adapting.info ${INFODIR} + ${BSD_INSTALL_MAN} doc/ProofGeneral.info ${INFODIR} ++ ++install-doc: doc.pdf doc.html mkdir -p ${DOCDIR} - for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done - for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done @@ -155,12 +164,12 @@ + ${BSD_INSTALL_MAN} doc/$$f ${DOCDIR}/$$f; done doc: FORCE -- (cd doc; make $*) -+ (cd doc; $(MAKE) $*) +- (cd doc; make EMACS=$(EMACS) $*) ++ (cd doc; $(MAKE) EMACS=$(EMACS) $*) doc.%: FORCE -- (cd doc; make $*) -+ (cd doc; $(MAKE) $*) +- (cd doc; make EMACS=$(EMACS) $*) ++ (cd doc; $(MAKE) EMACS=$(EMACS) $*) ## ## scripts: try to patch bash and perl scripts with correct paths diff --git a/math/proofgeneral/files/patch-doc-Makefile.doc b/math/proofgeneral/files/patch-doc-Makefile.doc index 5de6e3a9a2fb..5d44677f52b0 100644 --- a/math/proofgeneral/files/patch-doc-Makefile.doc +++ b/math/proofgeneral/files/patch-doc-Makefile.doc @@ -1,17 +1,17 @@ ---- doc/Makefile.doc.orig Thu Dec 8 07:39:33 2005 -+++ doc/Makefile.doc Thu Dec 8 07:39:46 2005 -@@ -153,10 +153,10 @@ - ## texi: update magic comments in texi from docstrings in code. +--- doc/Makefile.doc.orig 2008-02-23 15:11:19.000000000 +1100 ++++ doc/Makefile.doc 2008-02-23 15:10:59.000000000 +1100 +@@ -155,10 +155,10 @@ ## (developer use only!) ## --$(DOCNAME).texi: ../*/*.el + ## remove this for now: no magic during dist ../*/*.el +-$(DOCNAME).texi: - $(MAKE) magic -magic: -- $(EMACS) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer -+#$(DOCNAME).texi: ../*/*.el +- $(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer ++#$(DOCNAME).texi: +# $(MAKE) magic +#magic: -+# $(EMACS) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer - - ++# $(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer + debugmagic: + $(EMACS) $(EMACFLAGS) -eval '(setq debug-on-error t)' -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer diff --git a/math/proofgeneral/files/patch-isa_isabelle-system.el b/math/proofgeneral/files/patch-isa_isabelle-system.el index 9c2a901f799e..e69de29bb2d1 100644 --- a/math/proofgeneral/files/patch-isa_isabelle-system.el +++ b/math/proofgeneral/files/patch-isa_isabelle-system.el @@ -1,13 +0,0 @@ ---- isa/isabelle-system.el.orig Thu Dec 8 07:43:17 2005 -+++ isa/isabelle-system.el Thu Dec 8 07:43:38 2005 -@@ -74,10 +74,6 @@ - with full path." - (interactive) - (unless (or isatool-not-found (file-executable-p isa-isatool-command)) -- (setq isa-isatool-command -- (read-file-name -- "Please give the full path to `isatool' (RET if you don't have it): " -- nil nil nil)) - (if (not (file-executable-p isa-isatool-command)) - (progn - (setq isatool-not-found t) diff --git a/math/proofgeneral/files/pkg-message.in b/math/proofgeneral/files/pkg-message.in index c82227e9a4a9..9dd8deca8887 100644 --- a/math/proofgeneral/files/pkg-message.in +++ b/math/proofgeneral/files/pkg-message.in @@ -4,6 +4,6 @@ Please register your interest in this software before use: To load Proof General automatically when starting x/emacs, add the following line to the .emacs or .xemacs/init.el file: - (load-file "%%PREFIX%%/%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.el") + (load-file "%%PREFIX%%/%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-site.el") ------------------------------------------------------------------------------ diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist index 9ed9b231f670..8e6120b09db4 100644 --- a/math/proofgeneral/pkg-plist +++ b/math/proofgeneral/pkg-plist @@ -1,463 +1,484 @@ -bin/proofgeneral -bin/legotags bin/coqtags bin/isartags -%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.elc -%%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-autotest.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-db.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-local-vars.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-db.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-local-vars.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/interface -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isartags -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.elc -%%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.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.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-font.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-fun.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-lang.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-pbrpm.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-sym-lock.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-tags.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/x-symbol-phox.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-extraction.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-font.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-fun.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-lang.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-pbrpm.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-sym-lock.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-tags.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/x-symbol-phox.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic-syntax.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic-syntax.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-font.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-old.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/x-symbol-twelf.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-font.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-old.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/x-symbol-twelf.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-shell.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-x-symbol.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-shell.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-x-symbol.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/bufhist.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/local-vars-list.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/xml-fixed.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/bufhist.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/xml-fixed.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-compat.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cweb.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mode.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-noweb.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-vars.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-compat.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cweb.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mode.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-noweb.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-vars.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/hiddenproof.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.8bit.gif -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.gif -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.8bit.gif -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.jpg -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.gif -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/README -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/favicon.icon -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.jpg -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.8bit.xpm -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo/MANIFEST.x-symbol -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/custom-load.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unichars.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/auto-autoloads.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/makefile.pkg -%%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-hooks.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode-in-progress.patch -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-nomule.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode-extras.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/_pkg.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/Makefile -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-xmacs.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-emacs.el -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.elc -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/ChangeLog -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts/fonts.tar -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts/README -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl16.bdf -%%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/3helvR14.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/3helvR12.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_18.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_12.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_24.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_12.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_14.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_24.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl14.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_18.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/nilxs.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR14.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR12.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_14.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/makesub -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/Makefile -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sub.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/xsymb1_12sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/fonts.dir -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/nilxs.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR12sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR14sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR12sub.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sup.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14.pcf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18.pcf -%%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/origfonts/helvR14.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR12.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR12sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR14sup.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/xsymb1_24sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl14sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR12sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR12sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR12sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR14sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl16sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR14sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR12sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR12sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sub.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR14sup.bdf -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/recycle.xbm -%%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/RIP.xbm -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/hourglass.xbm -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/Makefile.emacs -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/termlock.xbm -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/escherknot.xbm -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.texi -%%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/Makefile -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info/x-symbol.info -%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/README.x-symbol-for-ProofGeneral +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-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/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/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/mime-info/proofgeneral.keys -share/mime-info/proofgeneral.mime 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%%/README.exper -%%PORTDOCS%%%%DOCSDIR%%/REGISTER %%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%%/acl2/example.acl2 -%%PORTDOCS%%%%DOCSDIR%%/acl2/root2.acl2 -%%PORTDOCS%%%%DOCSDIR%%/hol98/example.sml -%%PORTDOCS%%%%DOCSDIR%%/hol98/root2.sml -%%PORTDOCS%%%%DOCSDIR%%/isa/Example-Xsym.ML -%%PORTDOCS%%%%DOCSDIR%%/isa/Example.ML -%%PORTDOCS%%%%DOCSDIR%%/isa/Example2.ML -%%PORTDOCS%%%%DOCSDIR%%/isa/Example.thy -%%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%%%%DOCSDIR%%/ProofGeneral/ProofGeneral.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_1.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_10.html @@ -483,69 +504,68 @@ share/icons/hicolor/48x48/proofgeneral.png %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_abt.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_fot.html %%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_toc.html -%%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 -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2 -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/ccc -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/coq -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/hol98 -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isa -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isar -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lclam -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lego -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/phox -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/plastic -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/twelf -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/generic -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lib -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/mmm -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/images -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts -@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 -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol -@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral -@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d -%%PORTDOCS%%@dirrm %%DOCSDIR%%/acl2 -%%PORTDOCS%%@dirrm %%DOCSDIR%%/hol98 -%%PORTDOCS%%@dirrm %%DOCSDIR%%/isa -%%PORTDOCS%%@dirrm %%DOCSDIR%%/isar -%%PORTDOCS%%@dirrm %%DOCSDIR%%/lclam -%%PORTDOCS%%@dirrm %%DOCSDIR%%/lego -%%PORTDOCS%%@dirrm %%DOCSDIR%%/pgshell -%%PORTDOCS%%@dirrm %%DOCSDIR%%/phox -%%PORTDOCS%%@dirrm %%DOCSDIR%%/plastic +%%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 |