Add proofgeneral 3.5, a generic interface for proof assistants.
PR: 84788 Submitted by: Timothy Bourke <timbob@bigpond.com>
This commit is contained in:
parent
67a6d6e2b9
commit
f6925bfda8
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=141552
@ -207,6 +207,7 @@
|
||||
SUBDIR += ploticus-nox11
|
||||
SUBDIR += plplot
|
||||
SUBDIR += polymake
|
||||
SUBDIR += proofgeneral
|
||||
SUBDIR += pspp
|
||||
SUBDIR += py-fpconst
|
||||
SUBDIR += py-gato
|
||||
|
76
math/proofgeneral/Makefile
Normal file
76
math/proofgeneral/Makefile
Normal file
@ -0,0 +1,76 @@
|
||||
# New ports collection makefile for: proofgeneral
|
||||
# Date created: 11 August 2005
|
||||
# Whom: Timothy Bourke <timbob@bigpond.com>
|
||||
#
|
||||
# $FreeBSD$
|
||||
#
|
||||
|
||||
PORTNAME= proofgeneral
|
||||
PORTVERSION= 3.5
|
||||
CATEGORIES= math elisp
|
||||
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ \
|
||||
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/contrib/ \
|
||||
http://isabelle.in.tum.de/dist/contrib/ \
|
||||
http://mirror.cse.unsw.edu.au/pub/isabelle/contrib/
|
||||
DISTNAME= ProofGeneral-3.5
|
||||
|
||||
MAINTAINER= timbob@bigpond.com
|
||||
COMMENT= A generic interface for proof assistants
|
||||
|
||||
BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash \
|
||||
${EMACS_NAME}:${EMACS_PORTSDIR}
|
||||
|
||||
.if exists(${LOCALBASE}/bin/xemacs)
|
||||
BUILD_DEPENDS+= ${LOCALBASE}/lib/xemacs/xemacs-packages:${PORTSDIR}/editors/xemacs-packages
|
||||
RUN_DEPENDS+= ${LOCALBASE}/share/applications/.keep_me:${PORTSDIR}/misc/kdehier
|
||||
.endif
|
||||
|
||||
.if exists(${LOCALBASE}/bin/xemacs) || !exists(${LOCALBASE}/bin/emacs)
|
||||
EMACS_PORT_NAME=xemacs21-mule
|
||||
.else
|
||||
EMACS_PORT_NAME=emacs21
|
||||
.endif
|
||||
|
||||
MAKE_ARGS+= EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
|
||||
USE_GMAKE= yes
|
||||
USE_PERL5= yes
|
||||
USE_REINPLACE= yes
|
||||
|
||||
SUB_FILES= pkg-message
|
||||
SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
|
||||
|
||||
MAN1= proofgeneral.1
|
||||
MANCOMPRESSED= no
|
||||
INFO= PG-adapting ProofGeneral
|
||||
|
||||
.if !defined(NOPORTDOCS)
|
||||
PORTDOCS= PG-adapting_*.html ProofGeneral_*.html \
|
||||
ProofGeneral.pdf PG-adapting.pdf
|
||||
MAKE_ARGS+= INSTALL_DOC=doc.pdf
|
||||
BUILD_DEPENDS+= ${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/teTeX-base
|
||||
.endif
|
||||
|
||||
post-patch:
|
||||
@${TOUCH} -m -r ${WRKSRC}/generic/proof-menu.el.orig \
|
||||
${WRKSRC}/generic/proof-menu.el
|
||||
@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
|
||||
${WRKSRC}/etc/desktop/proofgeneral.desktop
|
||||
|
||||
pre-build:
|
||||
.if defined(BYTE_COMPILE)
|
||||
@${ECHO_CMD} "************************************************************"
|
||||
@${ECHO_CMD} "* Byte compilation may not work properly for all files... *"
|
||||
@${ECHO_CMD} "************************************************************"
|
||||
@${RM} ${WRKSRC}/.byte-compile
|
||||
.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.mk>
|
2
math/proofgeneral/distinfo
Normal file
2
math/proofgeneral/distinfo
Normal file
@ -0,0 +1,2 @@
|
||||
MD5 (ProofGeneral-3.5.tar.gz) = 2114f0ead1cb0b4c6be992aa7bf1529c
|
||||
SIZE (ProofGeneral-3.5.tar.gz) = 1799956
|
179
math/proofgeneral/files/patch-Makefile
Normal file
179
math/proofgeneral/files/patch-Makefile
Normal file
@ -0,0 +1,179 @@
|
||||
--- Makefile.orig Sun Apr 18 01:23:53 2004
|
||||
+++ Makefile Sat Aug 13 13:50:43 2005
|
||||
@@ -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=${EMACS_NAME}
|
||||
|
||||
# We default to /usr rather than /usr/local because installs of
|
||||
# desktop and doc files under /usr/local are unlikely to work with
|
||||
@@ -23,8 +23,7 @@
|
||||
# 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).
|
||||
-PREFIX=/usr
|
||||
-DEST_PREFIX=/usr
|
||||
+DEST_PREFIX=${PREFIX}
|
||||
|
||||
PWD=$(shell pwd)
|
||||
|
||||
@@ -65,7 +64,8 @@
|
||||
## 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
|
||||
+ $(BYTECOMP) generic/proof-menu.el
|
||||
|
||||
|
||||
.byte-compile: $(EL) x-symbol/lisp/*.el
|
||||
@@ -78,7 +78,7 @@
|
||||
rm -f $(BROKENELC)
|
||||
@echo " Byte compiling X-Symbol..."
|
||||
(cd x-symbol/lisp; rm -f *.elc; $(MAKE) EMACS="$(EMACS) -q -no-site-file")
|
||||
- echo $(EMACS) > $(@)
|
||||
+ echo ${EMACS_NAME} > $(@)
|
||||
@echo "*************************************************"
|
||||
@echo " Finished."
|
||||
@echo "*************************************************"
|
||||
@@ -123,41 +123,36 @@
|
||||
# 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.
|
||||
-ifeq ($(EMACS),xemacs)
|
||||
-ELISPP=share/xemacs/site-packages/lisp/ProofGeneral
|
||||
-ELISP_START=${PREFIX}/share/xemacs/site-packages/lisp/site-start.d
|
||||
-else
|
||||
-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}
|
||||
DEST_ELISP=${DEST_PREFIX}/${ELISPP}
|
||||
|
||||
BINDIR=${PREFIX}/bin
|
||||
-DESKTOP=${PREFIX}/share
|
||||
-DOCDIR=${PREFIX}/share/doc/ProofGeneral
|
||||
-MANDIR=${PREFIX}/share/man/man1
|
||||
-INFODIR=${PREFIX}/share/info/
|
||||
+DESKTOP=${DESKTOP_PREFIX}/share
|
||||
+DOCDIR=${DOCSDIR}
|
||||
+MANDIR=${PREFIX}/man/man1
|
||||
+INFODIR=${PREFIX}/info/
|
||||
|
||||
-install: install-desktop install-elisp install-bin install-init
|
||||
+install: install-desktop install-elisp install-bin install-init install-doc
|
||||
|
||||
install-desktop:
|
||||
mkdir -p ${DESKTOP}/icons/hicolor/16x16
|
||||
- cp etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16
|
||||
+ ${BSD_INSTALL_DATA} 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
|
||||
+ ${BSD_INSTALL_DATA} 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
|
||||
+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48
|
||||
mkdir -p ${DESKTOP}/pixmaps
|
||||
- cp etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps
|
||||
+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps
|
||||
mkdir -p ${DESKTOP}/applications
|
||||
- cp etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
|
||||
+ ${BSD_INSTALL_DATA} 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
|
||||
+ ${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
|
||||
- cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
|
||||
+ ${BSD_INSTALL_DATA} 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.
|
||||
@@ -172,14 +167,30 @@
|
||||
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_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.el ${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 ${EXTRA_DIRS}; do cp -prf $$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
|
||||
|
||||
install-init:
|
||||
mkdir -p ${ELISP_START}
|
||||
@@ -189,18 +200,16 @@
|
||||
|
||||
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}
|
||||
mkdir -p ${MANDIR}
|
||||
- cp -pf doc/proofgeneral.1 ${MANDIR}
|
||||
+ ${BSD_INSTALL_MAN} 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/*.info ${INFODIR}
|
||||
|
||||
doc.%:
|
||||
- (cd doc; make $*)
|
||||
+ (cd doc; $(MAKE) $*)
|
||||
|
||||
##
|
||||
## scripts: try to patch bash and perl scripts with correct paths
|
||||
@@ -243,7 +252,7 @@
|
||||
|
||||
# Set PGHOME path in scripts back to default location.
|
||||
cleanpgscripts:
|
||||
- make pgscripts DEST_ELISP='$$$$HOME/ProofGeneral'
|
||||
+ $(MAKE) pgscripts DEST_ELISP='$$$$HOME/ProofGeneral'
|
||||
|
||||
|
||||
##
|
||||
@@ -253,11 +262,11 @@
|
||||
##
|
||||
|
||||
devel.%:
|
||||
- make -f Makefile.devel $*
|
||||
+ $(MAKE) -f Makefile.devel $*
|
||||
|
||||
##
|
||||
## Similarly for xemacs Makefile.
|
||||
##
|
||||
|
||||
xemacs.%:
|
||||
- make -f Makefile.xemacs $*
|
||||
+ $(MAKE) -f Makefile.xemacs $*
|
13
math/proofgeneral/files/patch-doc-Makefile
Normal file
13
math/proofgeneral/files/patch-doc-Makefile
Normal file
@ -0,0 +1,13 @@
|
||||
--- doc/Makefile.orig Tue Jun 7 17:42:22 2005
|
||||
+++ doc/Makefile Tue Jun 7 17:42:47 2005
|
||||
@@ -19,8 +19,8 @@
|
||||
$(MAKE) doc
|
||||
|
||||
%:
|
||||
- make -f Makefile.doc DOCNAME=PG-adapting MAKE="make -f Makefile.doc" $@
|
||||
- make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" $@
|
||||
+ $(MAKE) -f Makefile.doc DOCNAME=PG-adapting MAKE="$(MAKE) -f Makefile.doc" $@
|
||||
+ $(MAKE) -f Makefile.doc DOCNAME=ProofGeneral MAKE="$(MAKE) -f Makefile.doc" $@
|
||||
|
||||
##
|
||||
## man page for proofgeneral script
|
17
math/proofgeneral/files/patch-doc-Makefile.doc
Normal file
17
math/proofgeneral/files/patch-doc-Makefile.doc
Normal file
@ -0,0 +1,17 @@
|
||||
--- doc/Makefile.doc.orig Sun Apr 18 09:39:58 2004
|
||||
+++ doc/Makefile.doc Fri Jul 22 22:10:05 2005
|
||||
@@ -152,10 +152,10 @@
|
||||
## texi: update magic comments in texi from docstrings in code.
|
||||
## (developer use only!)
|
||||
##
|
||||
-$(DOCNAME).texi: ../*/*.el
|
||||
- $(MAKE) magic
|
||||
-magic:
|
||||
- $(EMACS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
|
||||
+#$(DOCNAME).texi: ../*/*.el
|
||||
+# $(MAKE) magic
|
||||
+#magic:
|
||||
+# $(EMACS) -batch -l ../generic/texi-docstring-magic.el -l ../generic/proof-site.el -l ../generic/pg-user.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
|
||||
|
||||
|
||||
|
@ -0,0 +1,11 @@
|
||||
--- etc/desktop/proofgeneral.desktop.orig Sat Aug 13 14:19:29 2005
|
||||
+++ etc/desktop/proofgeneral.desktop Sat Aug 13 14:19:46 2005
|
||||
@@ -2,7 +2,7 @@
|
||||
Name=Proof General
|
||||
Comment=Organise Your Proofs!
|
||||
Exec=proofgeneral %F
|
||||
-Icon=proofgeneral.png
|
||||
+Icon=%%PREFIX%%/share/pixmaps/proofgeneral.png
|
||||
Terminal=false
|
||||
Type=Application
|
||||
Encoding=UTF-8
|
15
math/proofgeneral/files/patch-generic-proof-menu.el
Normal file
15
math/proofgeneral/files/patch-generic-proof-menu.el
Normal file
@ -0,0 +1,15 @@
|
||||
--- generic/proof-menu.el.orig Fri Jul 22 17:46:09 2005
|
||||
+++ generic/proof-menu.el Fri Jul 22 17:46:09 2005
|
||||
@@ -176,10 +176,10 @@
|
||||
(cons "Help"
|
||||
(append
|
||||
`([,(concat proof-assistant " information")
|
||||
- '(proof-help)
|
||||
+ (proof-help)
|
||||
,menuvisiblep proof-info-command]
|
||||
[,(concat proof-assistant " web page")
|
||||
- '(browse-url proof-assistant-home-page)
|
||||
+ (browse-url proof-assistant-home-page)
|
||||
,menuvisiblep proof-assistant-home-page])
|
||||
(proof-ass help-menu-entries))))))))
|
||||
|
9
math/proofgeneral/files/pkg-message.in
Normal file
9
math/proofgeneral/files/pkg-message.in
Normal file
@ -0,0 +1,9 @@
|
||||
-------------------------------------------------------------------------------
|
||||
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")
|
||||
|
||||
------------------------------------------------------------------------------
|
13
math/proofgeneral/pkg-descr
Normal file
13
math/proofgeneral/pkg-descr
Normal file
@ -0,0 +1,13 @@
|
||||
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
|
380
math/proofgeneral/pkg-plist
Normal file
380
math/proofgeneral/pkg-plist
Normal file
@ -0,0 +1,380 @@
|
||||
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/coq/coq-abbrev-V7.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev-V7.elc
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.elc
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.elc
|
||||
%%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/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/_pkg.elc
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/holes.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/holes.elc
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.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-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-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-compat.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-compat.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-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/proof-x-symbol.elc
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.elc
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/span-extent.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/span-extent.elc
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/span-overlay.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/span-overlay.elc
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/span.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/span.elc
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/texi-docstring-magic.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/texi-docstring-magic.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-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/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-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-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/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-outline.el
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.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/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/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/xsymb1_12.bdf
|
||||
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_14.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/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/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/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/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/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/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/recycle.xbm
|
||||
%%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/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
|
||||
@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
|
||||
@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/mmm
|
||||
@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
|
||||
@unexec rmdir %D/%%EMACS_SITE_LISPDIR%%/site-start.d 2>/dev/null || true
|
||||
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
|
Loading…
Reference in New Issue
Block a user