summaryrefslogtreecommitdiff
path: root/math/proofgeneral
diff options
context:
space:
mode:
Diffstat (limited to 'math/proofgeneral')
-rw-r--r--math/proofgeneral/Makefile83
-rw-r--r--math/proofgeneral/distinfo2
-rw-r--r--math/proofgeneral/files/patch-Makefile111
-rw-r--r--math/proofgeneral/files/patch-doc-Makefile.doc75
-rw-r--r--math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop11
-rw-r--r--math/proofgeneral/files/patch-isar-interface11
-rw-r--r--math/proofgeneral/files/pkg-message.in12
-rw-r--r--math/proofgeneral/pkg-descr13
-rw-r--r--math/proofgeneral/pkg-plist235
9 files changed, 0 insertions, 553 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile
deleted file mode 100644
index f8195ad7f2a3..000000000000
--- a/math/proofgeneral/Makefile
+++ /dev/null
@@ -1,83 +0,0 @@
-# Created by: Timothy Bourke <timbob@bigpond.com>
-# $FreeBSD$
-
-PORTNAME= proofgeneral
-PORTVERSION= 4.1
-PORTREVISION= 15
-CATEGORIES= math elisp
-MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
-PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX}
-DISTNAME= ProofGeneral-${PORTVERSION}
-
-MAINTAINER= beyert@cs.ucr.edu
-COMMENT= Generic interface for proof assistants
-
-BROKEN= unfetchable
-DEPRECATED= Broken for more than 6 months
-EXPIRATION_DATE= 2020-05-05
-
-LICENSE= GPLv2
-LICENSE_FILE= ${WRKSRC}/COPYING
-
-BUILD_DEPENDS= bash:shells/bash
-RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:misc/hicolor-icon-theme
-
-USES= emacs gmake gnome perl5 shebangfix tar:tgz
-EMACS_FLAVORS_EXCLUDE= nox devel_nox
-
-INSTALLS_ICONS= yes
-SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags
-NO_ARCH= yes
-
-MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${STAGEDIR}${PREFIX}" \
- MAKE="${MAKE_CMD}" EMACS=emacs EMACS_NAME=emacs \
- DOCDIR="${STAGEDIR}${DOCSDIR}" MANDIR="${STAGEDIR}${PREFIX}/man/man1" \
- INFODIR="${STAGEDIR}${PREFIX}/${INFO_PATH}" \
- BINDIR="${STAGEDIR}${PREFIX}/bin" DESKTOP="${STAGEDIR}${PREFIX}/share" \
- EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}" \
- ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \
- ELISP="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
- ELISP_START="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \
- DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral"
-
-SUB_FILES= pkg-message
-SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
-
-INFO= PG-adapting ProofGeneral
-PORTDOCS= AUTHORS BUGS CHANGES COMPATIBILITY COPYING INSTALL \
- PG-adapting ProofGeneral README REGISTER acl2 hol98 isar lego \
- pgshell phox twelf
-
-OPTIONS_DEFINE= DOCS
-
-DOCS_MAKE_ARGS= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
-DOCS_BUILD_DEPENDS= texi2html:textproc/texi2html
-
-post-patch:
- @${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
- ${WRKSRC}/etc/desktop/proofgeneral.desktop
- @${REINPLACE_CMD} -e \
- "s|PERL_SCRIPTS = lego/legotags coq/coqtags isar/isartags||g" \
- ${WRKSRC}/Makefile
- @${REINPLACE_CMD} -e "s|PG_SCRIPTS = bin/proofgeneral||g" \
- ${WRKSRC}/Makefile
- @${REINPLACE_CMD} -e \
- 's|PGHOMEDEFAULT=$$HOME|PGHOMEDEFAULT=${PREFIX}/${EMACS_SITE_LISPDIR}|g' \
- ${WRKSRC}/bin/proofgeneral
- @${TOUCH} ${WRKSRC}/.byte-compile
- @${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,emacs,' \
- ${WRKSRC}/isar/interface
-
-pre-build:
-#.if defined(BYTE_COMPILE)
- @${RM} ${WRKSRC}/.byte-compile || ${TRUE}
-#.endif
-
-post-install-DOCS-on:
- @${FIND} ${STAGEDIR}${DOCSDIR} -type d -empty -delete
-
-post-install-DOCS-off:
- ${INSTALL_MAN} ${WRKSRC}/doc/${PORTNAME}.1 \
- ${STAGEDIR}${MAN1PREFIX}/man/man1
-
-.include <bsd.port.mk>
diff --git a/math/proofgeneral/distinfo b/math/proofgeneral/distinfo
deleted file mode 100644
index 25509dec9105..000000000000
--- a/math/proofgeneral/distinfo
+++ /dev/null
@@ -1,2 +0,0 @@
-SHA256 (ProofGeneral-4.1.tgz) = 2a264d46b48185cf1a6ebcca958e59171ea670fb0fc82ba46b8e1d6918ea7dc7
-SIZE (ProofGeneral-4.1.tgz) = 1428499
diff --git a/math/proofgeneral/files/patch-Makefile b/math/proofgeneral/files/patch-Makefile
deleted file mode 100644
index 0de221d9298c..000000000000
--- a/math/proofgeneral/files/patch-Makefile
+++ /dev/null
@@ -1,111 +0,0 @@
---- Makefile.orig 2010-10-10 15:56:56.000000000 -0700
-+++ Makefile 2012-04-11 22:30:19.000000000 -0700
-@@ -41,7 +41,7 @@
- ELISP_EXTRAS=isar/interface isar/isartags
- EXTRA_DIRS = images
-
--DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER doc/*.pdf
-+DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER
- DOC_EXAMPLES=acl2/*.acl2 hol98/*.sml isar/*.thy lclam/*.lcm lego/*.l pgshell/*.pgsh phox/*.phx plastic/*.lf twelf/*.elf
- DOC_SUBDIRS=${DOC_EXAMPLES} */README* */CHANGES */BUGS
-
-@@ -135,22 +135,23 @@
- MANDIR=${PREFIX}/share/man/man1
- INFODIR=${PREFIX}/share/info
-
--install: install-desktop install-elisp install-bin install-init
-+install: install-desktop install-elisp install-bin install-init ${INSTALLDOC}
-
- install-desktop:
-- mkdir -p ${DESKTOP}/icons/hicolor/16x16
-- cp etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16
-- mkdir -p ${DESKTOP}/icons/hicolor/32x32
-- cp etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32
-- mkdir -p ${DESKTOP}/icons/hicolor/48x48
-- cp etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48
-- mkdir -p ${DESKTOP}/pixmaps
-- cp etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps
-- mkdir -p ${DESKTOP}/applications
-- cp etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
-- 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
-@@ -168,15 +169,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_SCRIPT} $$f ${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
-
- install-elc: compile
- 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 ${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 ${ELISP_EXTRAS}; do ${BSD_INSTALL_SCRIPT} $$f ${ELISP}/$$f; done
-
- install-init:
- mkdir -p ${ELISP_START}
-@@ -186,18 +195,23 @@
-
- install-bin: scripts
- mkdir -p ${BINDIR}
-- cp -pf ${BIN_SCRIPTS} ${BINDIR}
-+ ${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}
-
--install-doc: doc.info doc.pdf
-+install-doc: doc.html
- mkdir -p ${MANDIR}
-- cp -pf doc/proofgeneral.1 ${MANDIR}
-- 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/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
-
- doc: FORCE
- (cd doc; $(MAKE) EMACS=$(EMACS) $*)
diff --git a/math/proofgeneral/files/patch-doc-Makefile.doc b/math/proofgeneral/files/patch-doc-Makefile.doc
deleted file mode 100644
index 67bde09313fd..000000000000
--- a/math/proofgeneral/files/patch-doc-Makefile.doc
+++ /dev/null
@@ -1,75 +0,0 @@
---- doc/Makefile.doc.orig 2011-05-05 10:46:27.000000000 -0700
-+++ doc/Makefile.doc 2012-07-10 15:19:30.000000000 -0700
-@@ -18,7 +18,7 @@
-
- MAKE = make -f Makefile.doc
- MAKEINFO = makeinfo
--TEXI2HTML = texi2html -expandinfo -number -split_chapter --noheader
-+TEXI2HTML = texi2html -expandinfo -number-sections -split_chapter --noheader
- # `texinfo-tex' package contains texi2pdf
- TEXI2PDF = texi2pdf
- # `dviutils' package contains these useful utilities.
-@@ -40,16 +40,13 @@
-
- TMPFILE=pgt
-
--.SUFFIXES: .texi .info .html .pdf .gz
-+.SUFFIXES: .texi .info .html .gz
-
- default: doc
-
- .texi.info:
- $(MAKEINFO) $<
-
--.texi.pdf:
-- $(TEXI2PDF) $<
--
- .texi.html:
- $(TEXI2HTML) --output $* $<
-
-@@ -61,21 +58,19 @@
- gzip -f -9 $*
-
- ##
--## doc : build pdf, info files from $(DOCNAME).texi
-+## doc : build info files from $(DOCNAME).texi
- ##
--doc: pdf info
-+doc: info
-
- ##
- ## all : build all documentation targets
- ##
--all: html info pdf
-+all: html info
-
- ##
- ## dist: build distribution targets
- ##
--dist: info html pdf
--
--pdf: $(DOCNAME).pdf
-+dist: info html
-
- # da: target is a fake: we actually make in a subdir
- html: $(DOCNAME).html
-@@ -97,18 +92,13 @@
- ## distclean: Remove documentation targets
- ##
- distclean: clean
-- rm -rf $(DOCNAME).info* $(DOCNAME).pdf $(DOCNAME)
-+ rm -rf $(DOCNAME).info* $(DOCNAME)
-
- ##
- ## texi: update magic comments in texi from docstrings in code.
- ## (developer use only!)
- ## Must be run from source .els otherwise function arguments lost
- ##
--$(DOCNAME).texi:
-- $(MAKE) magic
--magic:
-- (cd ..; make clean)
-- $(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
-
- debugmagic:
- $(EMACS) $(EMACFLAGS) -eval '(setq debug-on-error t)' -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
diff --git a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
deleted file mode 100644
index 04bae45e1bcc..000000000000
--- a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
+++ /dev/null
@@ -1,11 +0,0 @@
---- etc/desktop/proofgeneral.desktop.orig 2012-04-11 20:39:33.000000000 -0700
-+++ etc/desktop/proofgeneral.desktop 2012-04-11 20:41:16.000000000 -0700
-@@ -5,7 +5,7 @@
- Name=Proof General
- GenericName=Theorem proving environment
- Comment=Organise your proofs!
--Icon=proofgeneral.png
-+Icon=%%PREFIX%%/share/pixmaps/proofgeneral.png
- FilePattern=proofgeneral
- TryExec=proofgeneral
- Exec=proofgeneral %F
diff --git a/math/proofgeneral/files/patch-isar-interface b/math/proofgeneral/files/patch-isar-interface
deleted file mode 100644
index 97da1fbb35f7..000000000000
--- a/math/proofgeneral/files/patch-isar-interface
+++ /dev/null
@@ -1,11 +0,0 @@
---- isar/interface.orig 2011-01-27 11:54:20.000000000 -0800
-+++ isar/interface 2012-04-11 20:26:06.000000000 -0700
-@@ -57,7 +57,7 @@
- UNICODE=""
- FONT=""
- GEOMETRY=""
--PROGNAME="emacs"
-+PROGNAME="%%EMACS_NAME%%"
- INITFILE="true"
- WINDOWSYSTEM="true"
- UNICODE_SYMBOLS=""
diff --git a/math/proofgeneral/files/pkg-message.in b/math/proofgeneral/files/pkg-message.in
deleted file mode 100644
index c14b4ae3c4c1..000000000000
--- a/math/proofgeneral/files/pkg-message.in
+++ /dev/null
@@ -1,12 +0,0 @@
-[
-{ type: install
- message: <<EOM
-Please register your interest in this software before use:
- http://proofgeneral.inf.ed.ac.uk/register
-
-To load Proof General automatically when starting x/emacs, add the following
-line to the .emacs or .xemacs/init.el file:
- (load-file "%%PREFIX%%/%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-site.el")
-EOM
-}
-]
diff --git a/math/proofgeneral/pkg-descr b/math/proofgeneral/pkg-descr
deleted file mode 100644
index 6d67212ab46e..000000000000
--- a/math/proofgeneral/pkg-descr
+++ /dev/null
@@ -1,13 +0,0 @@
-Proof General is a generic interface for proof assistants, currently
-based on the customizable text editor Emacs. It works with either
-XEmacs or GNU Emacs. A new Eclipse-based version is in development.
-This is described separately at http://proofgeneral.inf.ed.ac.uk/kit/wiki.
-
-Proof General has been developed at the LFCS in the University of
-Edinburgh. It is distributed under the conditions of the GNU General
-Public License.
-
-There is a mailing list:
- http://proofgeneral.inf.ed.ac.uk/mailinglist
-
-WWW: http://proofgeneral.inf.ed.ac.uk
diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist
deleted file mode 100644
index c7a63295133f..000000000000
--- a/math/proofgeneral/pkg-plist
+++ /dev/null
@@ -1,235 +0,0 @@
-bin/coqtags
-bin/isartags
-bin/legotags
-bin/proofgeneral
-share/application-registry/proofgeneral.applications
-share/applications/proofgeneral.desktop
-man/man1/proofgeneral.1.gz
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-auto.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-auto.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-class.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-class.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cmds.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cmds.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-compat.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-compat.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cweb.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cweb.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mason.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mason.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mode.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mode.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-region.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-region.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-rpm.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-rpm.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-sample.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-sample.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-univ.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-univ.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-utils.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-utils.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-vars.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-vars.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/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-movie.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-movie.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pamacs.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pamacs.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-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-auxmodes.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-auxmodes.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-faces.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-faces.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-useropts.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-useropts.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-utils.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-utils.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/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-home.png
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-home.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/hiddenproof.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-profiling.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-profiling.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/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/lib/bufhist.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/bufhist.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/maths-menu.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-fontsets.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-fontsets.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.elc
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/scomint.el
-%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/scomint.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/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%%/site-start.d/pg-init.el
-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
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-30 19:04:21 +0000