Attachment 84913 Details for Bug 120987 – proofgeneral-xemacs-3.7_1.patch

[patch] proofgeneral-xemacs-3.7_1.patch

proofgeneral-xemacs-3.7_1.patch (text/plain), 74.26 KB, created by Timothy Bourke on 2008-02-23 11:30:01 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Timothy Bourke

Created: 2008-02-23 11:30:01 UTC

Size: 74.26 KB

patch

obsolete

>Index: Makefile
>===================================================================
>RCS file: /home/ncvs/ports/math/proofgeneral/Makefile,v
>retrieving revision 1.18
>diff -u -r1.18 Makefile
>--- Makefile	27 Oct 2007 19:44:46 -0000	1.18
>+++ Makefile	23 Feb 2008 11:23:34 -0000
>@@ -6,11 +6,12 @@
> #
> 
> PORTNAME=	proofgeneral
>-PORTVERSION=	3.6
>-PORTREVISION=	8
>+PORTVERSION=	3.7
>+PORTREVISION=	1
> 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
>Index: distinfo
>===================================================================
>RCS file: /home/ncvs/ports/math/proofgeneral/distinfo,v
>retrieving revision 1.5
>diff -u -r1.5 distinfo
>--- distinfo	6 Feb 2007 22:55:25 -0000	1.5
>+++ distinfo	23 Feb 2008 11:23:34 -0000
>@@ -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
>Index: pkg-plist
>===================================================================
>RCS file: /home/ncvs/ports/math/proofgeneral/pkg-plist,v
>retrieving revision 1.8
>diff -u -r1.8 pkg-plist
>--- pkg-plist	24 Oct 2007 23:36:04 -0000	1.8
>+++ pkg-plist	23 Feb 2008 11:23:45 -0000
>@@ -1,463 +1,485 @@
>-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/convert.core
>+%%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 +505,69 @@
> %%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
>+@dirrmtry share/mime-info
>Index: files/patch-Makefile
>===================================================================
>RCS file: /home/ncvs/ports/math/proofgeneral/files/patch-Makefile,v
>retrieving revision 1.5
>diff -u -r1.5 patch-Makefile
>--- files/patch-Makefile	24 Oct 2007 23:36:04 -0000	1.5
>+++ files/patch-Makefile	23 Feb 2008 11:23:48 -0000
>@@ -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
>Index: files/patch-bin-proofgeneral
>===================================================================
>RCS file: files/patch-bin-proofgeneral
>diff -N files/patch-bin-proofgeneral
>--- /dev/null	1 Jan 1970 00:00:00 -0000
>+++ files/patch-bin-proofgeneral	23 Feb 2008 11:23:48 -0000
>@@ -0,0 +1,11 @@
>+--- bin/proofgeneral.orig	2008-02-23 21:21:01.000000000 +1100
>++++ bin/proofgeneral	2008-02-23 21:22:02.000000000 +1100
>+@@ -120,4 +120,7 @@
>+ fi
>+ 
>+     
>+-exec $EMACS $STARTUP -eval "(or (featurep (quote proof-site)) (load \"$PGHOME/generic/proof-site.el\"))" -f proof-splash-display-screen "$@"
>++exec $EMACS $STARTUP \
>++	-eval "(or (featurep (quote proof-site)) (load \"$PGHOME/generic/proof-site.el\"))"\
>++	-eval "(or (featurep (quote proof-splash)) (load \"$PGHOME/generic/proof-splash.el\"))"\
>++	-f proof-splash-display-screen "$@"
>Index: files/patch-doc-Makefile.doc
>===================================================================
>RCS file: /home/ncvs/ports/math/proofgeneral/files/patch-doc-Makefile.doc,v
>retrieving revision 1.2
>diff -u -r1.2 patch-doc-Makefile.doc
>--- files/patch-doc-Makefile.doc	1 May 2006 18:00:51 -0000	1.2
>+++ files/patch-doc-Makefile.doc	23 Feb 2008 11:23:48 -0000
>@@ -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
>Index: files/patch-isa_isabelle-system.el
>===================================================================
>RCS file: files/patch-isa_isabelle-system.el
>diff -N files/patch-isa_isabelle-system.el
>--- files/patch-isa_isabelle-system.el	1 May 2006 18:00:51 -0000	1.2
>+++ /dev/null	1 Jan 1970 00:00:00 -0000
>@@ -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)
>Index: files/pkg-message.in
>===================================================================
>RCS file: /home/ncvs/ports/math/proofgeneral/files/pkg-message.in,v
>retrieving revision 1.1
>diff -u -r1.1 pkg-message.in
>--- files/pkg-message.in	31 Aug 2005 10:36:36 -0000	1.1
>+++ files/pkg-message.in	23 Feb 2008 11:23:48 -0000
>@@ -4,6 +4,6 @@
> 
> 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")
> 
> ------------------------------------------------------------------------------

Actions: View | Diff

Attachments on bug 120987: 84913