Attachment #84913 for bug #120987

View | Details | Raw Unified | Return to bug 120987
Collapse All | Expand All




#

PORTNAME=	proofgeneral
PORTVERSION=	3.7
PORTREVISION=	1
CATEGORIES=	math elisp
MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
DISTNAME=	ProofGeneral-3.7
EXTRACT_SUFX=	.tgz

MAINTAINER=	timbob@bigpond.com
COMMENT=	A generic interface for proof assistants

Lines 1-3 Link Here

(-)distinfo (-3 / +3 lines)
1	MD5 (ProofGeneral-3.6pre061107.tar.gz) = 679dc2c9951f305959420e7514416dcb	1	MD5 (ProofGeneral-3.7.tgz) = 87c546b914a08dfe014ef55af3e9f92f
2	SHA256 (ProofGeneral-3.6pre061107.tar.gz) = c3c2877e0c4c823b48129e3abaa1ca2e82581664999a9f140cdda89086f32fb5	2	SHA256 (ProofGeneral-3.7.tgz) = 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e
3	SIZE (ProofGeneral-3.6pre061107.tar.gz) = 1906638	3	SIZE (ProofGeneral-3.7.tgz) = 1981651




bin/proofgeneral
bin/legotags
bin/coqtags
bin/isartags
bin/legotags
bin/proofgeneral
%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/x-symbol-acl2.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/x-symbol-acl2.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-abbrev.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-abbrev.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-autotest.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-autotest.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-db.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-db.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-indent.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-indent.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-local-vars.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-local-vars.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-mmm.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-mmm.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-syntax.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-syntax.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-unicode-tokens.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-unicode-tokens.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/x-symbol-coq.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/x-symbol-coq.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa-easy.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa-easy.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-assoc.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-assoc.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-autotest.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-autotest.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-custom.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-custom.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-goals.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-goals.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pbrpm.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pbrpm.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pgip.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pgip.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-response.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-response.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-thymodes.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-thymodes.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-user.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-user.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-vars.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-vars.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-xml.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-xml.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-autoloads.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-autoloads.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-config.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-config.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-depends.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-depends.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-easy-config.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-easy-config.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-indent.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-indent.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-maths-menu.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-maths-menu.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-menu.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-menu.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-mmm.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-mmm.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-script.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-script.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-shell.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-shell.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-site.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-site.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-splash.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-splash.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-syntax.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-syntax.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-toolbar.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-toolbar.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-unicode-tokens.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-unicode-tokens.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-utils.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-utils.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-x-symbol.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-x-symbol.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98/hol98.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98/hol98.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98/x-symbol-hol98.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98/x-symbol-hol98.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/ProofGeneral.gif
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/ProofGeneral.jpg
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/README
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-abort.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-abort.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-command.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-command.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-context.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-context.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-find.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-find.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goal.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goal.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goto.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goto.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-help.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-help.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-info.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-info.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-interrupt.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-interrupt.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-next.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-next.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-qed.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-qed.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-restart.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-restart.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-retract.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-retract.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-state.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-state.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-undo.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-undo.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-use.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-use.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/gimp/.cvsignore
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/hiddenproof.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-abort.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-command.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-context.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-find.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-goal.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-goto.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-help.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-info.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-interrupt.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-next.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-qed.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-restart.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-retract.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-state.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-undo.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-use.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/interface
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/interface-setup.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/interface-setup.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isabelle-system.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isabelle-system.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-autotest.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-autotest.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-find-theorems.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-find-theorems.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-keywords.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-keywords.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-mmm.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-mmm.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-syntax.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-syntax.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-unicode-tokens.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-unicode-tokens.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isartags
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/x-symbol-isar.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/x-symbol-isar.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lclam/lclam.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lclam/lclam.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/lego-syntax.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/lego-syntax.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/lego.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/lego.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/x-symbol-lego.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lego/x-symbol-lego.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/bufhist.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/bufhist.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/holes-load.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/holes-load.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/holes.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/holes.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/local-vars-list.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/local-vars-list.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/maths-menu.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span-extent.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span-extent.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span-overlay.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span-overlay.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/texi-docstring-magic.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/texi-docstring-magic.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-chars.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-chars.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-tokens.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-tokens.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/xml-fixed.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/xml-fixed.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-auto.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-auto.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-class.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-class.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-cmds.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-cmds.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-compat.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-compat.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-cweb.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-cweb.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-mason.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-mason.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-mode.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-mode.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-noweb.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-noweb.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-region.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-region.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-rpm.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-rpm.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-sample.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-sample.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-univ.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-univ.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-utils.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-utils.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-vars.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-vars.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell/pgshell.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell/pgshell.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-extraction.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-extraction.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-font.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-font.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-fun.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-fun.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-lang.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-lang.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-outline.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-outline.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-pbrpm.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-pbrpm.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-sym-lock.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-sym-lock.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-tags.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-tags.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/x-symbol-phox.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/x-symbol-phox.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic-syntax.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic-syntax.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-font.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-font.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-old.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-old.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/x-symbol-twelf.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/x-symbol-twelf.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/README.x-symbol-for-ProofGeneral
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/Makefile.emacs
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/RIP.xbm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/bigfonts/README
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/bigfonts/fonts.tar
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/colormap138.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/drawing.xbm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/escherknot.xbm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/README
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/isaxsym.ttf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/2helvR12.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/2helvR14.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/3helvR12.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/3helvR14.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/5etl14.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/5etl16.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/Makefile
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/heriR12.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/heriR14.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/makesub
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/nilxs.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb0_12.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb0_14.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb0_18.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb0_24.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb1_12.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb1_14.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb1_18.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb1_24.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/5etl14sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/5etl14sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/5etl16sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/5etl16sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR18sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR18sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR24sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR24sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/heriR12sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/heriR12sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/heriR14sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/heriR14sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_12sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_12sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_14sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_14sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_18sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_18sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_24sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb0_24sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_12sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_12sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_14sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_14sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_18sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_18sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_24sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/xsymb1_24sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/hourglass.xbm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/origfonts/helvR12.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/origfonts/helvR14.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/origfonts/helvR18.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/origfonts/helvR24.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR12.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR14.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/2helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR12.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR14.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/3helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl14.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl14sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl14sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl16.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl16sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/5etl16sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/fonts.dir
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR18sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR18sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR24sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR24sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR12.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR12sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR12sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR14.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR14sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR14sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/nilxs.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_12.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_12sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_12sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_14.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_14sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_14sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_18.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_18sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_18sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_24.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_24sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_24sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_12.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_12sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_12sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_14.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_14sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_14sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_18.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_18sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_18sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_24.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_24sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_24sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/recycle.xbm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/termlock.xbm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/utf-unicode-list.txt
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/info/x-symbol.info
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/ChangeLog
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/Makefile
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/_pkg.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/auto-autoloads.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/convert.core
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/custom-load.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/makefile.pkg
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-autoloads.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-bib.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-bib.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-emacs.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-hooks.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-hooks.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-image.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-image.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-macs.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-macs.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-mule.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-mule.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-nomule.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-sgml.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-sgml.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-tex.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-tex.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-texi.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-texi.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-unichars.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-unicode-extras.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-unicode.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-vars.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-vars.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-xmacs.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/man/Makefile
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/man/x-symbol.css
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/man/x-symbol.init
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/man/x-symbol.texi
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/pkginfo/MANIFEST.x-symbol
%%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el
share/application-registry/proofgeneral.applications
share/applications/proofgeneral.desktop
share/mime-info/proofgeneral.keys
share/mime-info/proofgeneral.mime
share/pixmaps/proofgeneral.png
share/icons/hicolor/16x16/proofgeneral.png
share/icons/hicolor/32x32/proofgeneral.png
share/icons/hicolor/48x48/proofgeneral.png
share/mime-info/proofgeneral.mime
share/mime-info/proofgeneral.keys
%%PORTDOCS%%%%DOCSDIR%%/AUTHORS
%%PORTDOCS%%%%DOCSDIR%%/BUGS
%%PORTDOCS%%%%DOCSDIR%%/CHANGES
%%PORTDOCS%%%%DOCSDIR%%/COMPATIBILITY
%%PORTDOCS%%%%DOCSDIR%%/COPYING
%%PORTDOCS%%%%DOCSDIR%%/INSTALL
%%PORTDOCS%%%%DOCSDIR%%/README.exper
%%PORTDOCS%%%%DOCSDIR%%/REGISTER
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting.pdf
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_1.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_10.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_11.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_12.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_13.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_14.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_15.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_16.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_17.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_18.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_19.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_2.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_3.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_4.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_5.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_6.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_7.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_8.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_9.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_abt.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_toc.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral.pdf
%%PORTDOCS%%%%DOCSDIR%%/acl2/example.acl2
%%PORTDOCS%%%%DOCSDIR%%/acl2/root2.acl2
%%PORTDOCS%%%%DOCSDIR%%/hol98/example.sml
%%PORTDOCS%%%%DOCSDIR%%/hol98/root2.sml
%%PORTDOCS%%%%DOCSDIR%%/isa/Example-Xsym.ML
%%PORTDOCS%%%%DOCSDIR%%/isa/Example.ML
%%PORTDOCS%%%%DOCSDIR%%/isa/Example2.ML
%%PORTDOCS%%%%DOCSDIR%%/isa/Example.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Example-Xsym.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Example.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/KnasterTarski.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Isar.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Tactic.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Tarski.thy
%%PORTDOCS%%%%DOCSDIR%%/lclam/example.lcm
%%PORTDOCS%%%%DOCSDIR%%/lego/example.l
%%PORTDOCS%%%%DOCSDIR%%/lego/example2.l
%%PORTDOCS%%%%DOCSDIR%%/lego/root2.l
%%PORTDOCS%%%%DOCSDIR%%/pgshell/example.pgsh
%%PORTDOCS%%%%DOCSDIR%%/phox/example.phx
%%PORTDOCS%%%%DOCSDIR%%/phox/square-root-2.phx
%%PORTDOCS%%%%DOCSDIR%%/plastic/test.lf
%%PORTDOCS%%%%DOCSDIR%%/twelf/example.elf
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_1.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_10.html

%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_abt.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_fot.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_toc.html
%%PORTDOCS%%%%DOCSDIR%%/README
%%PORTDOCS%%%%DOCSDIR%%/REGISTER
%%PORTDOCS%%%%DOCSDIR%%/acl2/example.acl2
%%PORTDOCS%%%%DOCSDIR%%/acl2/root2.acl2
%%PORTDOCS%%%%DOCSDIR%%/hol98/example.sml
%%PORTDOCS%%%%DOCSDIR%%/hol98/root2.sml
%%PORTDOCS%%%%DOCSDIR%%/isar/Example-Xsym.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Example.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/KnasterTarski.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Isar.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Tactic.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Tarski.thy
%%PORTDOCS%%%%DOCSDIR%%/lclam/example.lcm
%%PORTDOCS%%%%DOCSDIR%%/lego/example.l
%%PORTDOCS%%%%DOCSDIR%%/lego/example2.l
%%PORTDOCS%%%%DOCSDIR%%/lego/root2.l
%%PORTDOCS%%%%DOCSDIR%%/pgshell/example.pgsh
%%PORTDOCS%%%%DOCSDIR%%/phox/example.phx
%%PORTDOCS%%%%DOCSDIR%%/phox/square-root-2.phx
%%PORTDOCS%%%%DOCSDIR%%/plastic/test.lf
%%PORTDOCS%%%%DOCSDIR%%/twelf/example.elf
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_toc.html
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/ccc
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/coq
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/hol98
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isa
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isar
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lclam
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lego
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/phox
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/plastic
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/twelf
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/generic
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lib
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/mmm
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/images
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
%%PORTDOCS%%@dirrm %%DOCSDIR%%/acl2
%%PORTDOCS%%@dirrm %%DOCSDIR%%/hol98
%%PORTDOCS%%@dirrm %%DOCSDIR%%/isa
%%PORTDOCS%%@dirrm %%DOCSDIR%%/isar
%%PORTDOCS%%@dirrm %%DOCSDIR%%/lclam
%%PORTDOCS%%@dirrm %%DOCSDIR%%/lego
%%PORTDOCS%%@dirrm %%DOCSDIR%%/pgshell
%%PORTDOCS%%@dirrm %%DOCSDIR%%/phox
%%PORTDOCS%%@dirrm %%DOCSDIR%%/plastic
%%PORTDOCS%%@dirrm %%DOCSDIR%%/twelf
%%PORTDOCS%%@dirrm %%DOCSDIR%%/plastic
%%PORTDOCS%%@dirrm %%DOCSDIR%%/phox
%%PORTDOCS%%@dirrm %%DOCSDIR%%/pgshell
%%PORTDOCS%%@dirrm %%DOCSDIR%%/lego
%%PORTDOCS%%@dirrm %%DOCSDIR%%/lclam
%%PORTDOCS%%@dirrm %%DOCSDIR%%/isar
%%PORTDOCS%%@dirrm %%DOCSDIR%%/hol98
%%PORTDOCS%%@dirrm %%DOCSDIR%%/acl2
%%PORTDOCS%%@dirrm %%DOCSDIR%%/ProofGeneral
%%PORTDOCS%%@dirrm %%DOCSDIR%%/PG-adapting
%%PORTDOCS%%@dirrm %%DOCSDIR%%
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/pkginfo
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/man
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/info
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/origfonts
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/bigfonts
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/phox
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lego
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lclam
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/isar
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images/gimp
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/coq
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
@dirrmtry share/applications
@dirrmtry share/mime-info




--- Makefile.orig	2008-02-01 00:06:38.000000000 +1100
+++ Makefile	2008-02-23 20:45:58.000000000 +1100
@@ -21,7 +21,7 @@
 
 # Set this to "emacs" or "xemacs" according to your version of Emacs.
 # NB: this is also used to set default install path names below.
-EMACS=$(shell if [ -z "`which emacs`" ]; then echo xemacs; else echo emacs; fi)
+EMACS=${EMACS_NAME}
 
 # We default to /usr rather than /usr/local because installs of
 # desktop and doc files under /usr/local are unlikely to work with
@@ -29,8 +29,7 @@
 # individually before the install section.
 # NB: DEST_PREFIX is used for final destination prefix, in case we're
 # packaging into a build prefix rather than live root (e.g. in rpmbuild).

 
 PWD=$(shell pwd)
 
@@ -75,8 +74,8 @@
 ##	     old .elc's and re-compile.
 ##
 compile: $(EL) x-symbol/lisp/*.el
-	lastemacs=`cat .byte-compile 2>/dev/null || echo `; if [ "$$lastemacs" != "" ] && [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile $(ELC) x-symbol/lisp/*.elc; fi
-	make .byte-compile
+	lastemacs=`cat .byte-compile 2>/dev/null || echo `; if [ "$$lastemacs" != "" ] && [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile $(ELC) x-symbol/lisp/*.elc; fi
+	$(MAKE) .byte-compile
 
 ## Compiling can show up errors in the code, but be wary of fixing obsoletion
 ## or argument call warnings unless they're valid for both Emacsen.
@@ -85,7 +84,7 @@
 	@echo "****************************************************************"
 	@echo " Byte compiling... "
 	@echo "****************************************************************"
-	make elc
+	$(MAKE) elc
 	@echo " Byte compiling X-Symbol..."
 	(cd x-symbol/lisp; $(MAKE) EMACS="$(EMACS) -q -no-site-file")
 	echo $(EMACS) > $(@)
@@ -137,39 +136,35 @@
 # Set Elisp directories according to paths used in Red Hat RPMs
 # (which may or may not be official Emacs policy).  We generate
 # a pg-init.el file which loads the appropriate proof-site.el.

-ELISPP=share/${EMACS}/site-lisp/ProofGeneral
-ELISP_START=${PREFIX}/share/${EMACS}/site-lisp/site-start.d
-endif
+ELISPP=${EMACS_SITE_LISPDIR}/ProofGeneral
+ELISP_START=${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d
 
 ELISP=${PREFIX}/${ELISPP}

+INFODIR=${PREFIX}/info
 
-install: install-desktop install-elisp install-bin install-init
+install: install-desktop install-elisp install-bin install-init install-man ${INSTALLDOC}
 
 install-desktop:
-	mkdir -p ${DESKTOP}/icons/hicolor/16x16

-	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
+	for f in 16x16 32x32 48x48; do \
+		if [ ! -d "${DESKTOP}/icons/hicolor/$$f" ]; then \
+			mkdir -p ${DESKTOP}/icons/hicolor/$$f; \
+		fi; \
+	done
+	${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16/
+	${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32/
+	${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48/
+	${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps/
+	${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
+	if [ ! -d ${DESKTOP}/mime-info ]; then mkdir ${DESKTOP}/mime-info; fi
+	${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info/
+	${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info/
+
 # backwards compatibility with old linuxes
 	mkdir -p ${DESKTOP}/application-registry
 	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
@@ -190,15 +185,23 @@
+	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
 
 # NB: .el files are not strictly necessary, but we package/install them
 # for the time being to help with debugging, or for users to recompile.
@@ -186,15 +180,23 @@
 install-el:
 	mkdir -p ${ELISP}
 	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done

 
 install-init:
 	mkdir -p ${ELISP_START}
@@ -208,24 +211,33 @@
 
 install-bin: scripts
 	mkdir -p ${BINDIR}

+	${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}
 
-install-doc: doc.info doc.pdf
+install-man: doc.info
 	mkdir -p ${MANDIR}
-	cp -pf doc/proofgeneral.1 ${MANDIR}
-	mkdir -p ${INFODIR}

+	${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}
+	${BSD_INSTALL_MAN} doc/PG-adapting.info ${INFODIR}
+	${BSD_INSTALL_MAN} doc/ProofGeneral.info ${INFODIR}
+
+install-doc: doc.pdf doc.html
 	mkdir -p ${DOCDIR}
-	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
-	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done

+		${BSD_INSTALL_MAN} doc/$$f ${DOCDIR}/$$f; done
 
 doc: FORCE
-	(cd doc; make EMACS=$(EMACS) $*)
+	(cd doc; $(MAKE) EMACS=$(EMACS) $*)
 
 doc.%: FORCE
-	(cd doc; make EMACS=$(EMACS) $*)
+	(cd doc; $(MAKE) EMACS=$(EMACS) $*)
 
 ##
 ## scripts: try to patch bash and perl scripts with correct paths

Added Link Here

(-)files/patch-bin-proofgeneral (+11 lines)
1	--- bin/proofgeneral.orig 2008-02-23 21:21:01.000000000 +1100
2	+++ bin/proofgeneral 2008-02-23 21:22:02.000000000 +1100
3	@@ -120,4 +120,7 @@
4	fi
5
6
7	-exec $EMACS $STARTUP -eval "(or (featurep (quote proof-site)) (load \"$PGHOME/generic/proof-site.el\"))" -f proof-splash-display-screen "$@"
8	+exec $EMACS $STARTUP \
9	+ -eval "(or (featurep (quote proof-site)) (load \"$PGHOME/generic/proof-site.el\"))"\
10	+ -eval "(or (featurep (quote proof-splash)) (load \"$PGHOME/generic/proof-splash.el\"))"\
11	+ -f proof-splash-display-screen "$@"




--- doc/Makefile.doc.orig	2008-02-23 15:11:19.000000000 +1100
+++ doc/Makefile.doc	2008-02-23 15:10:59.000000000 +1100
@@ -155,10 +155,10 @@
 ## texi: update magic comments in texi from docstrings in code.
 ##	  (developer use only!)
 ##
 ## remove this for now: no magic during dist ../*/*.el 
-$(DOCNAME).texi: 
-	$(MAKE) magic
-magic:
-	$(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
+#$(DOCNAME).texi: 
+#	$(MAKE) magic
+#magic:
+#	$(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
 
 
 
 debugmagic:
 	$(EMACS) $(EMACFLAGS)  -eval '(setq debug-on-error t)' -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer




--- isa/isabelle-system.el.orig	Thu Dec  8 07:43:17 2005
+++ isa/isabelle-system.el	Thu Dec  8 07:43:38 2005
@@ -74,10 +74,6 @@
 with full path."
   (interactive)
   (unless (or isatool-not-found (file-executable-p isa-isatool-command))
-    (setq isa-isatool-command
-	  (read-file-name
-	   "Please give the full path to `isatool' (RET if you don't have it): "
-	   nil nil nil))
     (if (not (file-executable-p isa-isatool-command))
 	(progn
 	  (setq isatool-not-found t)

Lines 4-9 Link Here

(-)files/pkg-message.in (-1 / +1 lines)
4		4
5	To load Proof General automatically when starting x/emacs, add the following	5	To load Proof General automatically when starting x/emacs, add the following
6	line to the .emacs or .xemacs/init.el file:	6	line to the .emacs or .xemacs/init.el file:
7	(load-file "%%PREFIX%%/%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.el")	7	(load-file "%%PREFIX%%/%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-site.el")
8		8
9	------------------------------------------------------------------------------	9	------------------------------------------------------------------------------

Return to bug 120987

Lines 6-16 Link Here

(-)Makefile (-3 / +4 lines)
6	#	6	#
7		7
8	PORTNAME= proofgeneral	8	PORTNAME= proofgeneral
9	PORTVERSION= 3.6	9	PORTVERSION= 3.7
10	PORTREVISION= 8	10	PORTREVISION= 1
11	CATEGORIES= math elisp	11	CATEGORIES= math elisp
12	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/	12	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
13	DISTNAME= ProofGeneral-3.6pre061107	13	DISTNAME= ProofGeneral-3.7
		14	EXTRACT_SUFX= .tgz
14		15
15	MAINTAINER= timbob@bigpond.com	16	MAINTAINER= timbob@bigpond.com
16	COMMENT= A generic interface for proof assistants	17	COMMENT= A generic interface for proof assistants

Lines 1-15 Link Here

(-)files/patch-Makefile (-42 / +51 lines)
1	--- Makefile.orig Sat Sep 23 05:26:01 2006	1	--- Makefile.orig 2008-02-01 00:06:38.000000000 +1100
2	+++ Makefile Mon Mar 5 19:53:43 2007	2	+++ Makefile 2008-02-23 20:45:58.000000000 +1100
3	@@ -15,7 +15,7 @@	3	@@ -21,7 +21,7 @@
4		4
5	# Set this to "emacs" or "xemacs" according to your version of Emacs.	5	# Set this to "emacs" or "xemacs" according to your version of Emacs.
6	# NB: this is also used to set default install path names below.	6	# NB: this is also used to set default install path names below.
7	-EMACS=$(shell if [ -z "`which xemacs`" ]; then echo emacs; else echo xemacs; fi)	7	-EMACS=$(shell if [ -z "`which emacs`" ]; then echo xemacs; else echo emacs; fi)
8	+EMACS=${EMACS_NAME}	8	+EMACS=${EMACS_NAME}
9		9
10	# We default to /usr rather than /usr/local because installs of	10	# We default to /usr rather than /usr/local because installs of
11	# desktop and doc files under /usr/local are unlikely to work with	11	# desktop and doc files under /usr/local are unlikely to work with
12	@@ -23,8 +23,7 @@	12	@@ -29,8 +29,7 @@
13	# individually before the install section.	13	# individually before the install section.
14	# NB: DEST_PREFIX is used for final destination prefix, in case we're	14	# NB: DEST_PREFIX is used for final destination prefix, in case we're
15	# packaging into a build prefix rather than live root (e.g. in rpmbuild).	15	# packaging into a build prefix rather than live root (e.g. in rpmbuild).
Lines 19-34 Link Here
19		19
20	PWD=$(shell pwd)	20	PWD=$(shell pwd)
21		21
22	@@ -78,7 +77,7 @@	22	@@ -75,8 +74,8 @@
23	## compiles.	23	## old .elc's and re-compile.
24	##	24	##
25	compile: .byte-compile	25	compile: $(EL) x-symbol/lisp/*.el
26	- lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile; make .byte-compile; fi	26	- lastemacs=`cat .byte-compile 2>/dev/null \|\| echo `; if [ "$$lastemacs" != "" ] && [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile $(ELC) x-symbol/lisp/*.elc; fi
27	+ lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile; $(MAKE) .byte-compile; fi	27	- make .byte-compile
28		28	+ lastemacs=`cat .byte-compile 2>/dev/null \|\| echo `; if [ "$$lastemacs" != "" ] && [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile $(ELC) x-symbol/lisp/*.elc; fi
29		29	+ $(MAKE) .byte-compile
30	.byte-compile: $(EL) x-symbol/lisp/*.el	30
31	@@ -136,42 +135,37 @@	31	## Compiling can show up errors in the code, but be wary of fixing obsoletion
		32	## or argument call warnings unless they're valid for both Emacsen.
		33	@@ -85,7 +84,7 @@
		34	@echo "****************************************************************"
		35	@echo " Byte compiling... "
		36	@echo "****************************************************************"
		37	- make elc
		38	+ $(MAKE) elc
		39	@echo " Byte compiling X-Symbol..."
		40	(cd x-symbol/lisp; $(MAKE) EMACS="$(EMACS) -q -no-site-file")
		41	echo $(EMACS) > $(@)
		42	@@ -137,39 +136,35 @@
32	# Set Elisp directories according to paths used in Red Hat RPMs	43	# Set Elisp directories according to paths used in Red Hat RPMs
33	# (which may or may not be official Emacs policy). We generate	44	# (which may or may not be official Emacs policy). We generate
34	# a pg-init.el file which loads the appropriate proof-site.el.	45	# a pg-init.el file which loads the appropriate proof-site.el.
Lines 39-45 Link Here
39	-ELISPP=share/${EMACS}/site-lisp/ProofGeneral	50	-ELISPP=share/${EMACS}/site-lisp/ProofGeneral
40	-ELISP_START=${PREFIX}/share/${EMACS}/site-lisp/site-start.d	51	-ELISP_START=${PREFIX}/share/${EMACS}/site-lisp/site-start.d
41	-endif	52	-endif
42	+ELISPP=${EMACS_SITE_LISPDIR}/proofgeneral	53	+ELISPP=${EMACS_SITE_LISPDIR}/ProofGeneral
43	+ELISP_START=${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d	54	+ELISP_START=${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d
44		55
45	ELISP=${PREFIX}/${ELISPP}	56	ELISP=${PREFIX}/${ELISPP}
Lines 55-61 Link Here
55	+INFODIR=${PREFIX}/info	66	+INFODIR=${PREFIX}/info
56		67
57	-install: install-desktop install-elisp install-bin install-init	68	-install: install-desktop install-elisp install-bin install-init
58	+install: install-desktop install-elisp install-bin install-init ${INSTALLDOC}	69	+install: install-desktop install-elisp install-bin install-init install-man ${INSTALLDOC}
59		70
60	install-desktop:	71	install-desktop:
61	- mkdir -p ${DESKTOP}/icons/hicolor/16x16	72	- mkdir -p ${DESKTOP}/icons/hicolor/16x16
Lines 71-98 Link Here
71	- mkdir -p ${DESKTOP}/mime-info	82	- mkdir -p ${DESKTOP}/mime-info
72	- cp etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info	83	- cp etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info
73	- cp etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info	84	- cp etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info
74	+ if [ -d ${DESKTOP}/icons/hicolor ]; then \	85	+ for f in 16x16 32x32 48x48; do \
75	+ ${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16; \	86	+ if [ ! -d "${DESKTOP}/icons/hicolor/$$f" ]; then \
76	+ ${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32; \	87	+ mkdir -p ${DESKTOP}/icons/hicolor/$$f; \
77	+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48; \	88	+ fi; \
78	+ fi	89	+ done
79	+	90	+ ${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16/
80	+ if [ -d ${DESKTOP} ]; then \	91	+ ${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32/
81	+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps; \	92	+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48/
82	+ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications; \	93	+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps/
83	+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info; \	94	+ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
84	+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info; \	95	+ if [ ! -d ${DESKTOP}/mime-info ]; then mkdir ${DESKTOP}/mime-info; fi
85	+ fi	96	+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info/
		97	+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info/
86	+	98	+
87	# backwards compatibility with old linuxes	99	# backwards compatibility with old linuxes
88	- mkdir -p ${DESKTOP}/application-registry	100	mkdir -p ${DESKTOP}/application-registry
89	- cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry	101	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
90	+ mkdir -p ${DESKTOP}/application-registry	102	@@ -190,15 +185,23 @@
91	+ cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
92
93	# NB: .el files are not strictly necessary, but we package/install them
94	# for the time being to help with debugging, or for users to recompile.
95	@@ -186,15 +180,23 @@
96	install-el:	103	install-el:
97	mkdir -p ${ELISP}	104	mkdir -p ${ELISP}
98	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done	105	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
Lines 121-127 Link Here
121		128
122	install-init:	129	install-init:
123	mkdir -p ${ELISP_START}	130	mkdir -p ${ELISP_START}
124	@@ -204,24 +206,31 @@	131	@@ -208,24 +211,33 @@
125		132
126	install-bin: scripts	133	install-bin: scripts
127	mkdir -p ${BINDIR}	134	mkdir -p ${BINDIR}
Lines 129-135 Link Here
129	+ ${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}	136	+ ${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}
130		137
131	-install-doc: doc.info doc.pdf	138	-install-doc: doc.info doc.pdf
132	+install-doc: doc.info doc.pdf doc.html	139	+install-man: doc.info
133	mkdir -p ${MANDIR}	140	mkdir -p ${MANDIR}
134	- cp -pf doc/proofgeneral.1 ${MANDIR}	141	- cp -pf doc/proofgeneral.1 ${MANDIR}
135	- mkdir -p ${INFODIR}	142	- mkdir -p ${INFODIR}
Lines 139-144 Link Here
139	+ ${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}	146	+ ${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}
140	+ ${BSD_INSTALL_MAN} doc/PG-adapting.info ${INFODIR}	147	+ ${BSD_INSTALL_MAN} doc/PG-adapting.info ${INFODIR}
141	+ ${BSD_INSTALL_MAN} doc/ProofGeneral.info ${INFODIR}	148	+ ${BSD_INSTALL_MAN} doc/ProofGeneral.info ${INFODIR}
		149	+
		150	+install-doc: doc.pdf doc.html
142	mkdir -p ${DOCDIR}	151	mkdir -p ${DOCDIR}
143	- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done	152	- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
144	- for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done	153	- for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
Lines 155-166 Link Here
155	+ ${BSD_INSTALL_MAN} doc/$$f ${DOCDIR}/$$f; done	164	+ ${BSD_INSTALL_MAN} doc/$$f ${DOCDIR}/$$f; done
156		165
157	doc: FORCE	166	doc: FORCE
158	- (cd doc; make $*)	167	- (cd doc; make EMACS=$(EMACS) $*)
159	+ (cd doc; $(MAKE) $*)	168	+ (cd doc; $(MAKE) EMACS=$(EMACS) $*)
160		169
161	doc.%: FORCE	170	doc.%: FORCE
162	- (cd doc; make $*)	171	- (cd doc; make EMACS=$(EMACS) $*)
163	+ (cd doc; $(MAKE) $*)	172	+ (cd doc; $(MAKE) EMACS=$(EMACS) $*)
164		173
165	##	174	##
166	## scripts: try to patch bash and perl scripts with correct paths	175	## scripts: try to patch bash and perl scripts with correct paths

Lines 1-17 Link Here

(-)files/patch-doc-Makefile.doc (-10 / +10 lines)
1	--- doc/Makefile.doc.orig Thu Dec 8 07:39:33 2005	1	--- doc/Makefile.doc.orig 2008-02-23 15:11:19.000000000 +1100
2	+++ doc/Makefile.doc Thu Dec 8 07:39:46 2005	2	+++ doc/Makefile.doc 2008-02-23 15:10:59.000000000 +1100
3	@@ -153,10 +153,10 @@	3	@@ -155,10 +155,10 @@
4	## texi: update magic comments in texi from docstrings in code.
5	## (developer use only!)	4	## (developer use only!)
6	##	5	##
7	-$(DOCNAME).texi: ..//.el	6	## remove this for now: no magic during dist ..//.el
		7	-$(DOCNAME).texi:
8	- $(MAKE) magic	8	- $(MAKE) magic
9	-magic:	9	-magic:
10	- $(EMACS) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer	10	- $(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
11	+#$(DOCNAME).texi: ..//.el	11	+#$(DOCNAME).texi:
12	+# $(MAKE) magic	12	+# $(MAKE) magic
13	+#magic:	13	+#magic:
14	+# $(EMACS) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer	14	+# $(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
15
16
17		15
		16	debugmagic:
		17	$(EMACS) $(EMACFLAGS) -eval '(setq debug-on-error t)' -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer

Removed Link Here

(-)files/patch-isa_isabelle-system.el (-13 lines)
1	--- isa/isabelle-system.el.orig Thu Dec 8 07:43:17 2005
2	+++ isa/isabelle-system.el Thu Dec 8 07:43:38 2005
3	@@ -74,10 +74,6 @@
4	with full path."
5	(interactive)
6	(unless (or isatool-not-found (file-executable-p isa-isatool-command))
7	- (setq isa-isatool-command
8	- (read-file-name
9	- "Please give the full path to `isatool' (RET if you don't have it): "
10	- nil nil nil))
11	(if (not (file-executable-p isa-isatool-command))
12	(progn
13	(setq isatool-not-found t)

Lines 1-463 Link Here

(-)pkg-plist (-505 / +527 lines)
1	bin/proofgeneral
2	bin/legotags
3	bin/coqtags	1	bin/coqtags
4	bin/isartags	2	bin/isartags
5	%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.el	3	bin/legotags
6	%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.el	4	bin/proofgeneral
7	%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.elc	5	%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.el
8	%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.elc	6	%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.elc
9	%%EMACS_SITE_LISPDIR%%/proofgeneral/ccc/ccc.el	7	%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/x-symbol-acl2.el
10	%%EMACS_SITE_LISPDIR%%/proofgeneral/ccc/ccc.elc	8	%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/x-symbol-acl2.elc
11	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.el	9	%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el
12	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.el	10	%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.elc
13	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-db.el	11	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-abbrev.el
14	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.el	12	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-abbrev.elc
15	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-local-vars.el	13	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-autotest.el
16	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.el	14	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-autotest.elc
17	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.el	15	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-db.el
18	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.el	16	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-db.elc
19	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.elc	17	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-indent.el
20	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.elc	18	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-indent.elc
21	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-db.elc	19	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-local-vars.el
22	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.elc	20	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-local-vars.elc
23	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-local-vars.elc	21	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-mmm.el
24	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.elc	22	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-mmm.elc
25	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.elc	23	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-syntax.el
26	%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.elc	24	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-syntax.elc
27	%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.el	25	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-unicode-tokens.el
28	%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.el	26	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-unicode-tokens.elc
29	%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.elc	27	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq.el
30	%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.elc	28	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq.elc
31	%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.el	29	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/x-symbol-coq.el
32	%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.el	30	%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/x-symbol-coq.elc
33	%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.elc	31	%%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa-easy.el
34	%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.elc	32	%%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa-easy.elc
35	%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.el	33	%%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa.el
36	%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.el	34	%%EMACS_SITE_LISPDIR%%/ProofGeneral/demoisa/demoisa.elc
37	%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.el	35	%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-assoc.el
38	%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.el	36	%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-assoc.elc