Attachment 74223 Details for Bug 107414 – proofgeneral.diff

[patch] proofgeneral.diff

proofgeneral.diff (text/plain), 65.36 KB, created by Timothy Bourke on 2007-01-02 01:40:17 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Timothy Bourke

Created: 2007-01-02 01:40:17 UTC

Size: 65.36 KB

patch

obsolete

>? files/patch-doc-PG-adapting.texi
>? files/patch-doc-ProofGeneral.texi
>Index: Makefile
>===================================================================
>RCS file: /home/ncvs/ports/math/proofgeneral/Makefile,v
>retrieving revision 1.10
>diff -u -r1.10 Makefile
>--- Makefile	9 Dec 2006 19:57:26 -0000	1.10
>+++ Makefile	2 Jan 2007 01:13:27 -0000
>@@ -2,15 +2,15 @@
> # Date created:        11 August 2005
> # Whom:                Timothy Bourke <timbob@bigpond.com>
> #
>-# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.10 2006/12/09 19:57:26 kris Exp $
>+# $FreeBSD$
> #
> 
> PORTNAME=	proofgeneral
> PORTVERSION=	3.6
>-PORTREVISION=	1
>+PORTREVISION=	2
> CATEGORIES=	math elisp
> MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
>-DISTNAME=	ProofGeneral-3.6pre051004
>+DISTNAME=	ProofGeneral-3.6pre061107
> 
> MAINTAINER=	timbob@bigpond.com
> COMMENT=	A generic interface for proof assistants
>@@ -18,17 +18,7 @@
> PKGNAMESUFFIX+=	-${EMACS_NAME}
> 
> BUILD_DEPENDS+=	bash:${PORTSDIR}/shells/bash
>-RUN_DEPENDS+=	${LOCALBASE}/share/applications/.keep_me:${PORTSDIR}/misc/kdehier
>-
>-BROKEN=		Incomplete pkg-plist
>-DEPRECATED=	Needs to be rewritten to not include bsd.emacs.mk
>-EXPIRATION_DATE=2007-02-07
>-
>-.include <bsd.port.pre.mk>
>-
>-.if ${ARCH} == "amd64"
>-BROKEN="Does not build on amd64"
>-.endif
>+RUN_DEPENDS+=	${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
> 
> #
> # Unless EMACS_PORT_NAME is overriden by the user,
>@@ -39,24 +29,33 @@
> .if !defined(EMACS_PORT_NAME)
> .if !exists(${LOCALBASE}/bin/emacs)
> EMACS_PORT_NAME=xemacs21-mule
>+BUILD_DEPENDS+=	${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
>+RUN_DEPENDS+=	${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
> 
> # xemacs21-mule does not depend on xemacs-packages, so add a dependency here
> BUILD_DEPENDS+=	${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
> RUN_DEPENDS+=	${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
> .else
>-EMACS_PORT_NAME=emacs21
>+EMACS_PORT_NAME=emacs
>+BUILD_DEPENDS+=	${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
>+RUN_DEPENDS+=	${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
> .endif
> .endif
> 
>-# Needed for proper build- and run-time [x]xemacs dependencies,
>-# and the definition of EMACS_NAME and EMACS_SITE_LISPDIR
>-.include "${PORTSDIR}/Mk/bsd.emacs.mk"
>-
>-MAKE_ARGS+=	EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
> USE_EMACS=	yes
> USE_GMAKE=	yes
>+USE_GNOME=	gnomehier
>+INSTALLS_ICONS=	yes
> USE_PERL5=	yes
> 
>+.include <bsd.port.pre.mk>
>+
>+.if ${ARCH} == "amd64"
>+BROKEN="Does not build on amd64"
>+.endif
>+
>+MAKE_ARGS+=	EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
>+
> SUB_FILES=	pkg-message
> SUB_LIST=	EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
> 
>@@ -65,9 +64,7 @@
> INFO=		PG-adapting ProofGeneral
> 
> .if !defined(NOPORTDOCS)
>-PORTDOCS=	PG-adapting_*.html ProofGeneral_*.html \
>-		ProofGeneral.pdf PG-adapting.pdf
>-MAKE_ARGS+=	INSTALL_DOC=doc.pdf
>+MAKE_ARGS+=	DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
> BUILD_DEPENDS+=	${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/teTeX-base
> .endif
> 
>@@ -77,17 +74,11 @@
> 	${TOUCH} ${WRKSRC}/.byte-compile
> 
> pre-build:
>-.if defined(BYTE_COMPILE)
>-	@${RM} ${WRKSRC}/.byte-compile
>-.endif
>+#.if defined(BYTE_COMPILE)
>+	@${RM} ${WRKSRC}/.byte-compile || ${TRUE}
>+#.endif
> 
> post-install:
>-.if !defined(NOPORTDOCS)
>-	${MKDIR} ${DOCSDIR}
>-.for file in ${PORTDOCS}
>-	${INSTALL_DATA} ${WRKSRC}/doc/${file} ${DOCSDIR}
>-.endfor
>-.endif
> 	@${CAT} ${PKGMESSAGE}
> 
> .include <bsd.port.post.mk>
>Index: distinfo
>===================================================================
>RCS file: /home/ncvs/ports/math/proofgeneral/distinfo,v
>retrieving revision 1.4
>diff -u -r1.4 distinfo
>--- distinfo	11 Nov 2006 19:15:29 -0000	1.4
>+++ distinfo	2 Jan 2007 01:13:27 -0000
>@@ -1,3 +1,3 @@
>-MD5 (ProofGeneral-3.6pre051004.tar.gz) = 84d7c8ee9db2e52d1891b66da1e74ef8
>-SHA256 (ProofGeneral-3.6pre051004.tar.gz) = b0c755df755de00ed2865a5ce3a4719bb48e70da7694fad67a610a5d97a3c043
>-SIZE (ProofGeneral-3.6pre051004.tar.gz) = 2243863
>+MD5 (ProofGeneral-3.6pre061107.tar.gz) = 679dc2c9951f305959420e7514416dcb
>+SHA256 (ProofGeneral-3.6pre061107.tar.gz) = c3c2877e0c4c823b48129e3abaa1ca2e82581664999a9f140cdda89086f32fb5
>+SIZE (ProofGeneral-3.6pre061107.tar.gz) = 1906638
>Index: pkg-plist
>===================================================================
>RCS file: /home/ncvs/ports/math/proofgeneral/pkg-plist,v
>retrieving revision 1.6
>diff -u -r1.6 pkg-plist
>--- pkg-plist	11 Nov 2006 19:15:29 -0000	1.6
>+++ pkg-plist	2 Jan 2007 01:13:28 -0000
>@@ -1,440 +1,550 @@
>-bin/coqtags
>-bin/interface
>-bin/legotags
> bin/proofgeneral
>+bin/legotags
>+bin/coqtags
>+bin/isartags
> %%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/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-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-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-syntax.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.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/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-easy.elc
> %%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/generic/_pkg.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-assoc.elc
> %%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.elc
> %%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.elc
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-metadata.elc
> %%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.elc
> %%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.elc
> %%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.elc
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-resolve.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-resolve.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-xhtml.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.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-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.el
> %%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-system.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.elc
> %%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.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/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.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.8bit.gif
>-%%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/favicon.icon
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/hiddenproof.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.8bit.gif
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.gif
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.jpg
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.8bit.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.xpm
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.elc
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.elc
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.elc
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.elc
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.elc
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.elc
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.elc
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.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.el
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.elc
>-%%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/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/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/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-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-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-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-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/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-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/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/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/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/bigfonts/README
> %%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/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_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/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/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/xsymb0_18.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/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/heriR12sub.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/heriR14.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/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/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/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/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/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/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/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/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/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-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-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/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/x-symbol.texi
>-%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo/MANIFEST.x-symbol
>+%%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
> %%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el
>+share/gnome/application-registry/proofgeneral.applications
>+share/gnome/applications/proofgeneral.desktop
>+share/gnome/mime-info/proofgeneral.keys
>+share/gnome/mime-info/proofgeneral.mime
>+share/gnome/pixmaps/proofgeneral.png
>+share/icons/hicolor/16x16/proofgeneral.png
>+share/icons/hicolor/32x32/proofgeneral.png
>+share/icons/hicolor/48x48/proofgeneral.png
>+%%PORTDOCS%%%%DOCSDIR%%/AUTHORS
>+%%PORTDOCS%%%%DOCSDIR%%/BUGS
>+%%PORTDOCS%%%%DOCSDIR%%/CHANGES
>+%%PORTDOCS%%%%DOCSDIR%%/COPYING
>+%%PORTDOCS%%%%DOCSDIR%%/INSTALL
>+%%PORTDOCS%%%%DOCSDIR%%/README.exper
>+%%PORTDOCS%%%%DOCSDIR%%/REGISTER
>+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting.pdf
>+%%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
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_11.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_12.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_13.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_14.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_15.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_16.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_17.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_18.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_19.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_2.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_20.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_21.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_3.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_4.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_5.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_6.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_7.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_8.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_9.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_abt.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_fot.html
>+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_toc.html
>+%%PORTDOCS%%%%DOCSDIR%%/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/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/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/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/man
>+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info
> @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/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/isa
>-@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/acl2
> @dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral
> @dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
>-share/application-registry/proofgeneral.applications
>-share/applications/proofgeneral.desktop
>-share/icons/hicolor/16x16/proofgeneral.png
>-share/icons/hicolor/32x32/proofgeneral.png
>-share/icons/hicolor/48x48/proofgeneral.png
>-share/mime-info/proofgeneral.keys
>-share/mime-info/proofgeneral.mime
>-share/pixmaps/proofgeneral.png
>-@unexec /bin/rmdir %D/share/pixmaps 2>/dev/null || /usr/bin/true
>-@unexec /bin/rmdir %D/share/mime-info 2>/dev/null || /usr/bin/true
>-@unexec /bin/rmdir %D/share/application-registry 2>/dev/null || /usr/bin/true
>+%%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%%@dirrm %%DOCSDIR%%/twelf
>+%%PORTDOCS%%@dirrm %%DOCSDIR%%/ProofGeneral
>+%%PORTDOCS%%@dirrm %%DOCSDIR%%/PG-adapting
>+%%PORTDOCS%%@dirrm %%DOCSDIR%%
>Index: files/patch-Makefile
>===================================================================
>RCS file: /home/ncvs/ports/math/proofgeneral/files/patch-Makefile,v
>retrieving revision 1.2
>diff -u -r1.2 patch-Makefile
>--- files/patch-Makefile	1 May 2006 18:00:51 -0000	1.2
>+++ files/patch-Makefile	2 Jan 2007 01:13:28 -0000
>@@ -1,10 +1,10 @@
>---- Makefile.orig	Thu Dec  8 07:07:44 2005
>-+++ Makefile	Thu Dec  8 07:36:00 2005
>+--- Makefile.orig	Sat Sep 23 05:26:01 2006
>++++ Makefile	Tue Jan  2 10:42:43 2007
> @@ -15,7 +15,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=xemacs
>+-EMACS=$(shell if [ -z "`which xemacs`" ]; then echo emacs; else echo xemacs; fi)
> +EMACS=${EMACS_NAME}
>  
>  # We default to /usr rather than /usr/local because installs of
>@@ -19,17 +19,16 @@
>  
>  PWD=$(shell pwd)
>  
>-@@ -69,8 +68,7 @@
>+@@ -78,7 +77,7 @@
>  ##	     compiles.
>  ##
>  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
>++	lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile; $(MAKE) .byte-compile; fi
>+ 
>  
>  .byte-compile: $(EL) x-symbol/lisp/*.el
>- 	@echo "*************************************************"
>-@@ -127,41 +125,36 @@
>+@@ -136,42 +135,37 @@
>  # 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.
>@@ -50,13 +49,13 @@
>  DESKTOP=${PREFIX}/share
> -DOCDIR=${PREFIX}/share/doc/ProofGeneral
> -MANDIR=${PREFIX}/share/man/man1
>--INFODIR=${PREFIX}/share/info/
>+-INFODIR=${PREFIX}/share/info
> +DOCDIR=${DOCSDIR}
> +MANDIR=${PREFIX}/man/man1
>-+INFODIR=${PREFIX}/info/
>++INFODIR=${PREFIX}/info
>  
> -install: install-desktop install-elisp install-bin install-init
>-+install: install-desktop install-elisp install-bin install-init install-doc
>++install: install-desktop install-elisp install-bin install-init ${INSTALLDOC}
>  
>  install-desktop:
> -	mkdir -p ${DESKTOP}/icons/hicolor/16x16
>@@ -72,33 +71,35 @@
> -	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
>--	mkdir -p ${DESKTOP}/application-registry
>++	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}/gnome ]; then \
>++	  ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/gnome/pixmaps; \
>++	  ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/gnome/applications; \
>++	  ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/gnome/mime-info; \
>++	  ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/gnome/mime-info; \
>++	fi
>++
>+ # backwards compatibility with old linuxes
>+ 	mkdir -p ${DESKTOP}/application-registry
> -	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
>-+	mkdir -p ${DESKTOP}/icons/hicolor/16x16
>-+	${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16
>-+	mkdir -p ${DESKTOP}/icons/hicolor/32x32
>-+	${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32
>-+	mkdir -p ${DESKTOP}/icons/hicolor/48x48
>-+	${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48
>-+	mkdir -p ${DESKTOP}/pixmaps
>-+	${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps
>-+	mkdir -p ${DESKTOP}/applications
>-+	${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
>-+	mkdir -p ${DESKTOP}/mime-info
>-+	${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info
>-+	${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info
>-+	mkdir -p ${DESKTOP}/application-registry
>-+	${BSD_INSTALL_DATA} etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
>++	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/gnome/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.
>-@@ -176,14 +169,30 @@
>+@@ -186,15 +180,23 @@
>  install-el:
>  	mkdir -p ${ELISP}
>  	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
> -	for f in ${ELISP_DIRS}; do cp -pf $$f/*.el ${ELISP}/$$f; done
> -	for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done
>+-	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
> +	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.el ${ELISP}/$$f; done
>++	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
> +	for f in ${EXTRA_DIRS}; \
> +		do for g in `find -d $$f -type d`; \
> +		   do mkdir -p ${ELISP}/$$g; \
>@@ -113,64 +114,52 @@
>  	mkdir -p ${ELISP}
>  	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
> -	for f in ${ELISP_DIRS}; do cp -pf $$f/*.elc ${ELISP}/$$f; done
>--	for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done
>+-	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
> +	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.elc ${ELISP}/$$f; done
>-+	for f in ${EXTRA_DIRS}; \
>-+		do for g in `find -d $$f -type d`; \
>-+		   do mkdir -p ${ELISP}/$$g; \
>-+		      files=`find $$g -depth 1 -type f \\! -perm +u+x`; \
>-+		      if [ "$$files" != "" ]; then ${BSD_INSTALL_DATA} $$files ${ELISP}/$$g; fi; \
>-+		      scripts=`find $$g -depth 1 -type f -perm +u+x`; \
>-+		      if [ "$$scripts" != "" ]; then ${BSD_INSTALL_SCRIPT} $$scripts ${ELISP}/$$g; fi; \
>-+		   done; \
>-+	    done
>++	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
>  
>  install-init:
>  	mkdir -p ${ELISP_START}
>-@@ -193,18 +202,16 @@
>+@@ -204,24 +206,31 @@
>  
>  install-bin: scripts
>  	mkdir -p ${BINDIR}
> -	cp -pf ${BIN_SCRIPTS} ${BINDIR}
> +	${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}
>  
>--install-doc: doc.info
>-+install-doc: doc.info ${INSTALL_DOC}
>+-install-doc: doc.info doc.pdf
>++install-doc: doc.info doc.pdf doc.html
>  	mkdir -p ${MANDIR}
> -	cp -pf doc/proofgeneral.1 ${MANDIR}
>-+	${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}
>- 	mkdir -p ${INFODIR}
>+-	mkdir -p ${INFODIR}
> -	cp -pf doc/*.info ${INFODIR}
> -	/sbin/install-info ${INFODIR}/ProofGeneral.info* ${INFODIR}/dir
> -	/sbin/install-info ${INFODIR}/PG-adapting.info* ${INFODIR}/dir
>-+	${BSD_INSTALL_MAN} doc/*.info ${INFODIR}
>++	${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}
>++	${BSD_INSTALL_MAN} doc/PG-adapting.info ${INFODIR}
>++	${BSD_INSTALL_MAN} doc/ProofGeneral.info ${INFODIR}
>+ 	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
>++	for f in ${DOC_FILES}; do ${BSD_INSTALL_MAN} $$f ${DOCDIR}; done
>++	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; \
>++		${BSD_INSTALL_MAN} $$f ${DOCDIR}/$$f; done
>++	mkdir -p ${DOCDIR}/ProofGeneral
>++	for f in doc/ProofGeneral/*.html; do \
>++		${BSD_INSTALL_MAN} $$f ${DOCDIR}/ProofGeneral/`basename $$f`; done
>++	mkdir -p ${DOCDIR}/PG-adapting
>++	for f in doc/PG-adapting/*.html; do \
>++		${BSD_INSTALL_MAN} $$f ${DOCDIR}/PG-adapting/`basename $$f`; done
>++	for f in ProofGeneral.pdf PG-adapting.pdf; do \
>++		${BSD_INSTALL_MAN} doc/$$f ${DOCDIR}/$$f; done
>  
>- doc.%: 
>+ doc: FORCE
> -	(cd doc; make $*)
> +	(cd doc; $(MAKE) $*)
>  
>- ##
>- ## scripts: try to patch bash and perl scripts with correct paths
>-@@ -247,7 +254,7 @@
>- 
>- # Set PGHOME path in scripts back to default location.
>- cleanpgscripts:
>--	make pgscripts DEST_ELISP='$$$$HOME/ProofGeneral'
>-+	$(MAKE) pgscripts DEST_ELISP='$$$$HOME/ProofGeneral'
>- 
>- 
>- ##
>-@@ -257,11 +264,11 @@
>- ##
>- 
>- devel.%:
>--	make -f Makefile.devel $*
>-+	$(MAKE) -f Makefile.devel $*
>+ doc.%: FORCE
>+-	(cd doc; make $*)
>++	(cd doc; $(MAKE) $*)
>  
>  ##
>- ## Similarly for xemacs Makefile.
>- ##
>- 
>- xemacs.%:
>--	make -f Makefile.xemacs $*
>-+	$(MAKE) -f Makefile.xemacs $*
>+ ## scripts: try to patch bash and perl scripts with correct paths

Actions: View | Diff

Attachments on bug 107414: 74223