Date: Tue, 2 Jan 2007 12:16:49 +1100 (EST) From: Timothy Bourke <timbob@bigpond.com> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/107414: Update port: math/proofgeneral (bugfix) Message-ID: <200701020116.l021GnDM082011@triptrop.cse.unsw.edu.au> Resent-Message-ID: <200701020140.l021eIML034797@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 107414 >Category: ports >Synopsis: Update port: math/proofgeneral (bugfix) >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: maintainer-update >Submitter-Id: current-users >Arrival-Date: Tue Jan 02 01:40:17 GMT 2007 >Closed-Date: >Last-Modified: >Originator: Timothy Bourke >Release: FreeBSD 6.1-RELEASE-p6 i386 (uname -s -r -m) >Organization: n/a >Environment: >Description: Existing port causes problems on pointyhat. This update: * Removes the direct inclusion of bsd.emacs.mk * Uses the misc/gnomehier and misc/hicolor-icon/theme ports * Uses the latest proofgeneral prerelease >How-To-Repeat: >Fix: --- proofgeneral.diff begins here --- ? 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 --- proofgeneral.diff ends here --- >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200701020116.l021GnDM082011>