share/gnome/ -> share/.

git-svn-id: svn://creme-brulee.marcuscom.com/ports/trunk@9265 df743ca5-7f9a-e211-a948-0013205c9059

23 files changed, 1339 insertions, 0 deletions

diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile
new file mode 100644
index 000000000..cdc525886
--- /dev/null
+++ b/math/proofgeneral/Makefile
@@ -0,0 +1,80 @@
+# New ports collection makefile for:   proofgeneral
+# Date created:        11 August 2005
+# Whom:                Timothy Bourke <timbob@bigpond.com>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	proofgeneral
+PORTVERSION=	3.6
+PORTREVISION=	4
+CATEGORIES=	math elisp
+MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
+DISTNAME=	ProofGeneral-3.6pre061107
+
+MAINTAINER=	timbob@bigpond.com
+COMMENT=	A generic interface for proof assistants
+
+PKGNAMESUFFIX+=	-${EMACS_NAME}
+
+BUILD_DEPENDS+=	bash:${PORTSDIR}/shells/bash
+RUN_DEPENDS+=	${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
+
+#
+# Unless EMACS_PORT_NAME is overriden by the user,
+# use any installed version of [X]Emacs.
+#
+# If there is none installed, use xemacs21-mule.
+#
+.if !defined(EMACS_PORT_NAME)
+.if !exists(${LOCALBASE}/bin/emacs)
+EMACS_PORT_NAME=xemacs21-mule
+BUILD_DEPENDS+=	${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
+RUN_DEPENDS+=	${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
+
+# xemacs21-mule does not depend on xemacs-packages, so add a dependency here
+BUILD_DEPENDS+=	${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
+RUN_DEPENDS+=	${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
+.else
+EMACS_PORT_NAME=emacs
+BUILD_DEPENDS+=	${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
+RUN_DEPENDS+=	${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
+.endif
+.endif
+
+USE_EMACS=	yes
+USE_GMAKE=	yes
+USE_GNOME=	gnomehier
+INSTALLS_ICONS=	yes
+USE_PERL5=	yes
+
+.include <bsd.port.pre.mk>
+
+MAKE_ARGS+=	EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
+
+SUB_FILES=	pkg-message
+SUB_LIST=	EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
+
+MAN1=		proofgeneral.1
+MANCOMPRESSED=	no
+INFO=		PG-adapting ProofGeneral
+
+.if !defined(NOPORTDOCS)
+MAKE_ARGS+=	DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
+BUILD_DEPENDS+=	${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/teTeX-base
+.endif
+
+post-patch:
+	@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
+		${WRKSRC}/etc/desktop/proofgeneral.desktop
+	${TOUCH} ${WRKSRC}/.byte-compile
+
+pre-build:
+#.if defined(BYTE_COMPILE)
+	@${RM} ${WRKSRC}/.byte-compile || ${TRUE}
+#.endif
+
+post-install:
+	@${CAT} ${PKGMESSAGE}
+
+.include <bsd.port.post.mk>
diff --git a/math/proofgeneral/distinfo b/math/proofgeneral/distinfo
new file mode 100644
index 000000000..d613033d5
--- /dev/null
+++ b/math/proofgeneral/distinfo
@@ -0,0 +1,3 @@
+MD5 (ProofGeneral-3.6pre061107.tar.gz) = 679dc2c9951f305959420e7514416dcb
+SHA256 (ProofGeneral-3.6pre061107.tar.gz) = c3c2877e0c4c823b48129e3abaa1ca2e82581664999a9f140cdda89086f32fb5
+SIZE (ProofGeneral-3.6pre061107.tar.gz) = 1906638
diff --git a/math/proofgeneral/files/patch-Makefile b/math/proofgeneral/files/patch-Makefile
new file mode 100644
index 000000000..2de740aac
--- /dev/null
+++ b/math/proofgeneral/files/patch-Makefile
@@ -0,0 +1,166 @@
+--- Makefile.orig	Sat Sep 23 05:26:01 2006
++++ Makefile	Mon Mar  5 19:53:43 2007
+@@ -15,7 +15,7 @@
+ 
+ # Set this to "emacs" or "xemacs" according to your version of Emacs.
+ # NB: this is also used to set default install path names below.
+-EMACS=$(shell if [ -z "`which xemacs`" ]; then echo emacs; else echo xemacs; fi)
++EMACS=${EMACS_NAME}
+ 
+ # We default to /usr rather than /usr/local because installs of
+ # 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)
+ 
+@@ -78,7 +77,7 @@
+ ##	     compiles.
+ ##
+ compile: .byte-compile
+-	lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile; make .byte-compile; fi
++	lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile; $(MAKE) .byte-compile; fi
+ 
+ 
+ .byte-compile: $(EL) x-symbol/lisp/*.el
+@@ -136,42 +135,37 @@
+ # Set Elisp directories according to paths used in Red Hat RPMs
+ # (which may or may not be official Emacs policy).  We generate
+ # a pg-init.el file which loads the appropriate proof-site.el.
+-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
++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 ${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
++	if [ -d ${DESKTOP}/icons/hicolor ]; then \
++	  ${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16; \
++	  ${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32; \
++	  ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48; \
++	fi
++
++	if [ -d ${DESKTOP}/gnome ]; then \
++	  ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/gnome/pixmaps; \
++	  ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/gnome/applications; \
++	  ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/gnome/mime-info; \
++	  ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/gnome/mime-info; \
++	fi
++
+ # backwards compatibility with old linuxes
+-	mkdir -p ${DESKTOP}/application-registry
+-	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
++	mkdir -p ${DESKTOP}/gnome/application-registry
++	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/gnome/application-registry
+ 
+ # NB: .el files are not strictly necessary, but we package/install them
+ # for the time being to help with debugging, or for users to recompile.
+@@ -186,15 +180,23 @@
+ install-el:
+ 	mkdir -p ${ELISP}
+ 	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
+-	for f in ${ELISP_DIRS}; do cp -pf $$f/*.el ${ELISP}/$$f; done
+-	for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done
+-	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
++	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.el ${ELISP}/$$f; done
++	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
++	for f in ${EXTRA_DIRS}; \
++		do for g in `find -d $$f -type d`; \
++		   do mkdir -p ${ELISP}/$$g; \
++		      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_DATA} $$f ${ELISP}/$$f; done
+ 
+ install-init:
+ 	mkdir -p ${ELISP_START}
+@@ -204,24 +206,31 @@
+ 
+ install-bin: scripts
+ 	mkdir -p ${BINDIR}
+-	cp -pf ${BIN_SCRIPTS} ${BINDIR}
++	${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}
+ 
+-install-doc: doc.info doc.pdf
++install-doc: doc.info doc.pdf 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
++	for f in ProofGeneral.pdf PG-adapting.pdf; do \
++		${BSD_INSTALL_MAN} doc/$$f ${DOCDIR}/$$f; done
+ 
+ doc: FORCE
+-	(cd doc; make $*)
++	(cd doc; $(MAKE) $*)
+ 
+ doc.%: FORCE
+-	(cd doc; make $*)
++	(cd doc; $(MAKE) $*)
+ 
+ ##
+ ## scripts: try to patch bash and perl scripts with correct paths
diff --git a/math/proofgeneral/files/patch-doc-Makefile.doc b/math/proofgeneral/files/patch-doc-Makefile.doc
new file mode 100644
index 000000000..5de6e3a9a
--- /dev/null
+++ b/math/proofgeneral/files/patch-doc-Makefile.doc
@@ -0,0 +1,17 @@
+--- doc/Makefile.doc.orig	Thu Dec  8 07:39:33 2005
++++ doc/Makefile.doc	Thu Dec  8 07:39:46 2005
+@@ -153,10 +153,10 @@
+ ## texi: update magic comments in texi from docstrings in code.
+ ##	  (developer use only!)
+ ##
+-$(DOCNAME).texi: ../*/*.el 
+-	$(MAKE) magic
+-magic:
+-	$(EMACS) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
++#$(DOCNAME).texi: ../*/*.el 
++#	$(MAKE) magic
++#magic:
++#	$(EMACS) $(EMACSFLAGS) -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
new file mode 100644
index 000000000..aefef292b
--- /dev/null
+++ b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
@@ -0,0 +1,11 @@
+--- etc/desktop/proofgeneral.desktop.orig	Thu Dec  8 07:40:38 2005
++++ etc/desktop/proofgeneral.desktop	Thu Dec  8 07:41:03 2005
+@@ -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-isa_isabelle-system.el b/math/proofgeneral/files/patch-isa_isabelle-system.el
new file mode 100644
index 000000000..9c2a901f7
--- /dev/null
+++ b/math/proofgeneral/files/patch-isa_isabelle-system.el
@@ -0,0 +1,13 @@
+--- 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)
diff --git a/math/proofgeneral/files/pkg-message.in b/math/proofgeneral/files/pkg-message.in
new file mode 100644
index 000000000..c82227e9a
--- /dev/null
+++ b/math/proofgeneral/files/pkg-message.in
@@ -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")
+
+------------------------------------------------------------------------------
diff --git a/math/proofgeneral/pkg-descr b/math/proofgeneral/pkg-descr
new file mode 100644
index 000000000..6d67212ab
--- /dev/null
+++ b/math/proofgeneral/pkg-descr
@@ -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
diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist
new file mode 100644
index 000000000..a2a5a0acb
--- /dev/null
+++ b/math/proofgeneral/pkg-plist
@@ -0,0 +1,550 @@
+bin/proofgeneral
+bin/legotags
+bin/coqtags
+bin/isartags
+%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/ccc/ccc.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/ccc/ccc.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-db.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-local-vars.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-db.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-local-vars.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/interface
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isartags
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lclam/lclam.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lclam/lclam.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell/pgshell.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell/pgshell.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-extraction.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-font.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-fun.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-lang.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-pbrpm.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-sym-lock.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-tags.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/x-symbol-phox.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-extraction.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-font.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-fun.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-lang.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-pbrpm.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-sym-lock.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-tags.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/x-symbol-phox.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic-syntax.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic-syntax.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-font.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-old.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/x-symbol-twelf.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-font.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-old.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/x-symbol-twelf.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-shell.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-x-symbol.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-shell.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-x-symbol.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/bufhist.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/local-vars-list.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/xml-fixed.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/bufhist.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/xml-fixed.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-compat.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cweb.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mode.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-noweb.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-vars.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-compat.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cweb.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mode.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-noweb.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-vars.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/hiddenproof.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.8bit.gif
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.gif
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.8bit.gif
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.jpg
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.gif
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/README
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/favicon.icon
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.jpg
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.8bit.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo/MANIFEST.x-symbol
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/custom-load.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unichars.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/auto-autoloads.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/makefile.pkg
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode-in-progress.patch
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-nomule.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode-extras.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/_pkg.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/Makefile
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-xmacs.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-emacs.el
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.elc
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/ChangeLog
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts/fonts.tar
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts/README
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl16.bdf
+%%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/3helvR14.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/3helvR12.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_18.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_12.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_24.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_12.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_14.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_24.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl14.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_18.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/nilxs.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR14.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR12.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_14.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/makesub
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/Makefile
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR14sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/fonts.dir
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/nilxs.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR12sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR14sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR12sub.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sup.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18.pcf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR18.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR24.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR14.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR12.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR12sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR14sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl14sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl16sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl14sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR12sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR12sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR12sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR14sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl16sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR14sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR12sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR12sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sub.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR14sup.bdf
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/recycle.xbm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/colormap138.xpm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/drawing.xbm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/RIP.xbm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/hourglass.xbm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/Makefile.emacs
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/termlock.xbm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/escherknot.xbm
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.texi
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.css
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.init
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/Makefile
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info/x-symbol.info
+%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/README.x-symbol-for-ProofGeneral
+%%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el
+share/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
+%%PORTDOCS%%%%DOCSDIR%%/AUTHORS
+%%PORTDOCS%%%%DOCSDIR%%/BUGS
+%%PORTDOCS%%%%DOCSDIR%%/CHANGES
+%%PORTDOCS%%%%DOCSDIR%%/COPYING
+%%PORTDOCS%%%%DOCSDIR%%/INSTALL
+%%PORTDOCS%%%%DOCSDIR%%/README.exper
+%%PORTDOCS%%%%DOCSDIR%%/REGISTER
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting.pdf
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral.pdf
+%%PORTDOCS%%%%DOCSDIR%%/acl2/example.acl2
+%%PORTDOCS%%%%DOCSDIR%%/acl2/root2.acl2
+%%PORTDOCS%%%%DOCSDIR%%/hol98/example.sml
+%%PORTDOCS%%%%DOCSDIR%%/hol98/root2.sml
+%%PORTDOCS%%%%DOCSDIR%%/isa/Example-Xsym.ML
+%%PORTDOCS%%%%DOCSDIR%%/isa/Example.ML
+%%PORTDOCS%%%%DOCSDIR%%/isa/Example2.ML
+%%PORTDOCS%%%%DOCSDIR%%/isa/Example.thy
+%%PORTDOCS%%%%DOCSDIR%%/isar/Example-Xsym.thy
+%%PORTDOCS%%%%DOCSDIR%%/isar/Example.thy
+%%PORTDOCS%%%%DOCSDIR%%/isar/KnasterTarski.thy
+%%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Isar.thy
+%%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Tactic.thy
+%%PORTDOCS%%%%DOCSDIR%%/isar/Tarski.thy
+%%PORTDOCS%%%%DOCSDIR%%/lclam/example.lcm
+%%PORTDOCS%%%%DOCSDIR%%/lego/example.l
+%%PORTDOCS%%%%DOCSDIR%%/lego/example2.l
+%%PORTDOCS%%%%DOCSDIR%%/lego/root2.l
+%%PORTDOCS%%%%DOCSDIR%%/pgshell/example.pgsh
+%%PORTDOCS%%%%DOCSDIR%%/phox/example.phx
+%%PORTDOCS%%%%DOCSDIR%%/phox/square-root-2.phx
+%%PORTDOCS%%%%DOCSDIR%%/plastic/test.lf
+%%PORTDOCS%%%%DOCSDIR%%/twelf/example.elf
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_1.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_10.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_11.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_12.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_13.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_14.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_15.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_16.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_17.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_18.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_19.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_2.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_20.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_21.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_3.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_4.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_5.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_6.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_7.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_8.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_9.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_abt.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_fot.html
+%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_toc.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_1.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_10.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_11.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_12.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_13.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_14.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_15.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_16.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_17.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_18.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_19.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_2.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_3.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_4.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_5.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_6.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_7.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_8.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_9.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_abt.html
+%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_toc.html
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/ccc
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/coq
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/hol98
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isa
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isar
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lclam
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lego
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/phox
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/plastic
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/twelf
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/generic
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lib
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/mmm
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/images
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo
+@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/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%%/ProofGeneral
+%%PORTDOCS%%@dirrm %%DOCSDIR%%/PG-adapting
+%%PORTDOCS%%@dirrm %%DOCSDIR%%
diff --git a/math/qalculate/Makefile b/math/qalculate/Makefile
new file mode 100644
index 000000000..a383f5a41
--- /dev/null
+++ b/math/qalculate/Makefile
@@ -0,0 +1,28 @@
+# New ports collection makefile for:   qalculate
+# Date created:        07 July 2004
+# Whom:                Sergey Akifyev <asa@gascom.ru>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	qalculate
+PORTVERSION=	0.9.6
+PORTREVISION=	1
+CATEGORIES=	math
+MASTER_SITES=	SF
+DISTNAME=	${PORTNAME}-gtk-${PORTVERSION}
+
+MAINTAINER=	ports@FreeBSD.org
+COMMENT=	A multi-purpose desktop calculator (Gnome frontend)
+
+LIB_DEPENDS=	qalculate.4:${PORTSDIR}/math/libqalculate
+RUN_DEPENDS=	gnuplot:${PORTSDIR}/math/gnuplot \
+		wget:${PORTSDIR}/ftp/wget
+
+USE_GNOME=	gnomehack gnomeprefix gnometarget intlhack libglade2 libgnome
+USE_GETTEXT=	yes
+USE_GMAKE=	yes
+GNU_CONFIGURE=	yes
+INSTALLS_OMF=	yes
+
+.include <bsd.port.mk>
diff --git a/math/qalculate/distinfo b/math/qalculate/distinfo
new file mode 100644
index 000000000..ea1960384
--- /dev/null
+++ b/math/qalculate/distinfo
@@ -0,0 +1,3 @@
+MD5 (qalculate-gtk-0.9.6.tar.gz) = 1f787bc8c2ac7410a878a0e895a127d8
+SHA256 (qalculate-gtk-0.9.6.tar.gz) = 2f12ecbda36ca17baf294e572b387d4cc11afe30c6dcc01dd0d37793c148348e
+SIZE (qalculate-gtk-0.9.6.tar.gz) = 1544175
diff --git a/math/qalculate/pkg-descr b/math/qalculate/pkg-descr
new file mode 100644
index 000000000..45ee2936f
--- /dev/null
+++ b/math/qalculate/pkg-descr
@@ -0,0 +1,6 @@
+Qalculate! is a multi-purpose desktop calculator.  It is small and simple to
+use but with much power and versatility underneath. Features include
+customizable functions, units, arbitrary precision, plotting, and
+a user-friendly interface.
+
+WWW: http://qalculate.sourceforge.net
diff --git a/math/qalculate/pkg-plist b/math/qalculate/pkg-plist
new file mode 100644
index 000000000..d305159e6
--- /dev/null
+++ b/math/qalculate/pkg-plist
@@ -0,0 +1,67 @@
+bin/qalculate
+bin/qalculate-gtk
+share/applications/qalculate-gtk.desktop
+share/gnome/help/qalculate-gtk/C/appendixa.xml
+share/gnome/help/qalculate-gtk/C/appendixb.xml
+share/gnome/help/qalculate-gtk/C/appendixc.xml
+share/gnome/help/qalculate-gtk/C/figures/calculation-history.png
+share/gnome/help/qalculate-gtk/C/figures/calculator-buttons-screen.png
+share/gnome/help/qalculate-gtk/C/figures/calculator-buttons.png
+share/gnome/help/qalculate-gtk/C/figures/completion.png
+share/gnome/help/qalculate-gtk/C/figures/convert-number-bases.png
+share/gnome/help/qalculate-gtk/C/figures/convert-unit.png
+share/gnome/help/qalculate-gtk/C/figures/edit-function.png
+share/gnome/help/qalculate-gtk/C/figures/edit-functiongeneral.png
+share/gnome/help/qalculate-gtk/C/figures/edit-matrix.png
+share/gnome/help/qalculate-gtk/C/figures/edit-unit.png
+share/gnome/help/qalculate-gtk/C/figures/edit-variable.png
+share/gnome/help/qalculate-gtk/C/figures/function-manager.png
+share/gnome/help/qalculate-gtk/C/figures/gnuplot.png
+share/gnome/help/qalculate-gtk/C/figures/import-csv.png
+share/gnome/help/qalculate-gtk/C/figures/insert-function-screen.png
+share/gnome/help/qalculate-gtk/C/figures/insert-function.png
+share/gnome/help/qalculate-gtk/C/figures/mainwindow-screen.png
+share/gnome/help/qalculate-gtk/C/figures/mainwindow.png
+share/gnome/help/qalculate-gtk/C/figures/plot-data.png
+share/gnome/help/qalculate-gtk/C/figures/plot-settings.png
+share/gnome/help/qalculate-gtk/C/figures/rpn-mode.png
+share/gnome/help/qalculate-gtk/C/figures/store-variable.png
+share/gnome/help/qalculate-gtk/C/figures/unit-manager.png
+share/gnome/help/qalculate-gtk/C/figures/variable-manager.png
+share/gnome/help/qalculate-gtk/C/legal.xml
+share/gnome/help/qalculate-gtk/C/qalculate-gtk.xml
+share/omf/qalculate-gtk/qalculate-gtk-C.omf
+share/pixmaps/qalculate.png
+share/qalculate-gtk/glade/about.glade
+share/qalculate-gtk/glade/argumentrules.glade
+share/qalculate-gtk/glade/csvexport.glade
+share/qalculate-gtk/glade/csvimport.glade
+share/qalculate-gtk/glade/datasetedit.glade
+share/qalculate-gtk/glade/datasets.glade
+share/qalculate-gtk/glade/decimals.glade
+share/qalculate-gtk/glade/functionedit.glade
+share/qalculate-gtk/glade/functions.glade
+share/qalculate-gtk/glade/main.glade
+share/qalculate-gtk/glade/matrix.glade
+share/qalculate-gtk/glade/matrixedit.glade
+share/qalculate-gtk/glade/namesedit.glade
+share/qalculate-gtk/glade/nbases.glade
+share/qalculate-gtk/glade/periodictable.glade
+share/qalculate-gtk/glade/plot.glade
+share/qalculate-gtk/glade/precision.glade
+share/qalculate-gtk/glade/preferences.glade
+share/qalculate-gtk/glade/setbase.glade
+share/qalculate-gtk/glade/unit.glade
+share/qalculate-gtk/glade/unitedit.glade
+share/qalculate-gtk/glade/units.glade
+share/qalculate-gtk/glade/unknownedit.glade
+share/qalculate-gtk/glade/variableedit.glade
+share/qalculate-gtk/glade/variables.glade
+share/locale/nl/LC_MESSAGES/qalculate-gtk.mo
+share/locale/sv/LC_MESSAGES/qalculate-gtk.mo
+@dirrm share/qalculate-gtk/glade
+@dirrm share/qalculate-gtk
+@dirrm share/omf/qalculate-gtk
+@dirrm share/gnome/help/qalculate-gtk/C/figures
+@dirrm share/gnome/help/qalculate-gtk/C
+@dirrm share/gnome/help/qalculate-gtk
diff --git a/math/scigraphica/Makefile b/math/scigraphica/Makefile
new file mode 100644
index 000000000..8a8239bb2
--- /dev/null
+++ b/math/scigraphica/Makefile
@@ -0,0 +1,45 @@
+# New ports collection makefile for:	scigraphica
+# Date created:				29 August 2000
+# Whom:					Maxim Sobolev <sobomax@FreeBSD.org>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	scigraphica
+PORTVERSION=	0.8.0
+PORTREVISION=	4
+CATEGORIES=	math gnome
+MASTER_SITES=	http://scigraphica.sourceforge.net/src/ \
+		${MASTER_SITE_SOURCEFORGE} \
+		http://magnet.fsu.edu/~feiguin/scigraphica/src/
+MASTER_SITE_SUBDIR=	${PORTNAME}
+
+MAINTAINER=	ports@FreeBSD.org
+COMMENT=	A scientific application for data analysis and technical graphics
+
+BUILD_DEPENDS=	${PYNUMERIC}
+LIB_DEPENDS=	gtkextra.17:${PORTSDIR}/x11-toolkits/gtkextra
+RUN_DEPENDS=	${PYNUMERIC} \
+		${PYTHON_SITELIBDIR}/gtk-1.2/_gtkmodule.so:${PORTSDIR}/x11-toolkits/py-gtk
+
+USE_X_PREFIX=	yes
+USE_PERL5_BUILD=yes
+USE_GMAKE=	yes
+USE_GNOME=	yes
+USE_PYTHON=	yes
+GNU_CONFIGURE=	yes
+CONFIGURE_ENV=	CPPFLAGS="-I${LOCALBASE}/include" \
+		LDFLAGS="-L${LOCALBASE}/lib"
+MAKE_ENV=	PTHREAD_LIBS="${PTHREAD_LIBS}"
+
+.include <bsd.port.pre.mk>
+
+pre-patch:
+	@${PERL} -pi -e 's|-lpthread|${PTHREAD_LIBS}|g ; \
+		 s|DATADIRNAME=lib|DATADIRNAME=share|g' ${WRKSRC}/configure
+
+post-install:
+	@${PYTHON_CMD} ${PYTHON_LIBDIR}/compileall.py ${PREFIX}/share/scigraphica
+	@${PYTHON_CMD} -O ${PYTHON_LIBDIR}/compileall.py ${PREFIX}/share/scigraphica
+
+.include <bsd.port.post.mk>
diff --git a/math/scigraphica/distinfo b/math/scigraphica/distinfo
new file mode 100644
index 000000000..158dd9fce
--- /dev/null
+++ b/math/scigraphica/distinfo
@@ -0,0 +1,3 @@
+MD5 (scigraphica-0.8.0.tar.gz) = 8527c80fe75bc4f72c14548c7a2b0b71
+SHA256 (scigraphica-0.8.0.tar.gz) = 747f45380d64c70f7e8e42fa609a6b85296fb9755ee82a081c0ddc5bfdeda881
+SIZE (scigraphica-0.8.0.tar.gz) = 841199
diff --git a/math/scigraphica/files/patch-ad b/math/scigraphica/files/patch-ad
new file mode 100644
index 000000000..5565d24e2
--- /dev/null
+++ b/math/scigraphica/files/patch-ad
@@ -0,0 +1,10 @@
+--- zvt/subshell.c	2000/08/31 07:45:08	1.1
++++ zvt/subshell.c	2000/08/31 07:46:53
+@@ -24,6 +24,7 @@
+ #include <sys/time.h>
+ #include <sys/resource.h>
+ #include <sys/stat.h>
++#include <sys/param.h>
+ #include <limits.h>
+ #include <unistd.h>
+ #include <string.h>
diff --git a/math/scigraphica/files/patch-ag b/math/scigraphica/files/patch-ag
new file mode 100644
index 000000000..efc43e10b
--- /dev/null
+++ b/math/scigraphica/files/patch-ag
@@ -0,0 +1,15 @@
+
+$FreeBSD$
+
+--- sg.desktop.orig	Fri Nov 24 21:46:09 2000
++++ sg.desktop	Wed Dec  5 12:40:32 2001
+@@ -1,7 +1,7 @@
+ [Desktop Entry]
+ Name=SciGraphica
+ Comment=Data Plotting and Visualization
+-Exec=sga
+-Icon=sg_icon.xpm
++Exec=scigraphica
++Icon=scigraphica/sg_icon.xpm
+ Terminal=0
+ Type=Application
diff --git a/math/scigraphica/files/patch-ltmain.sh b/math/scigraphica/files/patch-ltmain.sh
new file mode 100644
index 000000000..98cb05e4d
--- /dev/null
+++ b/math/scigraphica/files/patch-ltmain.sh
@@ -0,0 +1,28 @@
+
+$FreeBSD$
+
+--- ltmain.sh	2001/08/27 09:51:26	1.1
++++ ltmain.sh	2001/08/27 09:51:42
+@@ -2408,6 +2408,9 @@
+ 	  *-*-netbsd*)
+ 	    # Don't link with libc until the a.out ld.so is fixed.
+ 	    ;;
++	  *-*-freebsd*)
++	    # FreeBSD doesn't need this...
++	    ;;
+ 	  *)
+ 	    # Add libc to deplibs on all other systems if necessary.
+ 	    if test "$build_libtool_need_lc" = "yes"; then
+@@ -4175,10 +4178,12 @@
+ 	fi
+ 
+ 	# Install the pseudo-library for information purposes.
++	if /usr/bin/false; then
+ 	name=`$echo "X$file" | $Xsed -e 's%^.*/%%'`
+ 	instname="$dir/$name"i
+ 	$show "$install_prog $instname $destdir/$name"
+ 	$run eval "$install_prog $instname $destdir/$name" || exit $?
++	fi
+ 
+ 	# Maybe install the static library, too.
+ 	test -n "$old_library" && staticlibs="$staticlibs $dir/$old_library"
diff --git a/math/scigraphica/files/patch-src::Makefile.in b/math/scigraphica/files/patch-src::Makefile.in
new file mode 100644
index 000000000..b81e93782
--- /dev/null
+++ b/math/scigraphica/files/patch-src::Makefile.in
@@ -0,0 +1,14 @@
+
+$FreeBSD$
+
+--- src/Makefile.in.orig	Wed Dec  5 11:13:00 2001
++++ src/Makefile.in	Wed Dec  5 11:14:40 2001
+@@ -148,7 +148,7 @@
+ INCLUDES = -Ipython 	$(GTK_CFLAGS) $(GTK_EXTRA_CFLAGS) $(XML_CFLAGS) $(PY_CFLAGS)         $(BONOBO_CFLAGS) $(OAF_CFLAGS) $(LIBART_CFLAGS) 	$(GNOME_PRINT_CFLAGS)
+ 
+ 
+-scigraphica_LDADD = -L./python python/libpint.a 	$(GTK_LIBS) $(GTK_EXTRA_LIBS) $(XML_LIBS)         $(BONOBO_LIBS) $(OAF_LIBS) 	-L$(PY_LIB_LOC)/config -l$(PY_LIBS) $(PY_EXTRA_LIBS)         $(UTIL_LIBS) $(READLINE_LIB) $(LIBART_LIBS) 	$(GNOME_PRINT_LIBS)
++scigraphica_LDADD = -L./python python/libpint.a 	$(GTK_LIBS) $(GTK_EXTRA_LIBS) $(XML_LIBS)         $(BONOBO_LIBS) $(OAF_LIBS) 	-L$(PY_LIB_LOC)/config $(PTHREAD_LIBS) -l$(PY_LIBS) $(PY_EXTRA_LIBS)         $(UTIL_LIBS) $(READLINE_LIB) $(LIBART_LIBS) 	$(GNOME_PRINT_LIBS)
+ 
+ 
+ LIBS = @LIBS@
diff --git a/math/scigraphica/files/patch-src::python::pstat.py b/math/scigraphica/files/patch-src::python::pstat.py
new file mode 100644
index 000000000..8c3c32831
--- /dev/null
+++ b/math/scigraphica/files/patch-src::python::pstat.py
@@ -0,0 +1,13 @@
+--- src/python/pstat.py.orig	Wed Aug 20 18:00:12 2003
++++ src/python/pstat.py	Wed Aug 20 18:00:32 2003
+@@ -214,8 +214,8 @@
+ 	    index = col
+ 	    column = abut(column,map(lambda x: x[index], listoflists))
+     elif type(cnums) == StringType:	      # if an 'x[3:]' type expr.
+-	execstring = 'column = map(lambda x: x'+cnums+', listoflists)'
+-	exec(execstring)
++	execstring = 'map(lambda x: x'+cnums+', listoflists)'
++	column = eval(execstring)
+     else:                                     # else it's just 1 col to get
+ 	index = cnums
+ 	column = map(lambda x: x[index], listoflists)
diff --git a/math/scigraphica/files/patch-src::python::python_config.c b/math/scigraphica/files/patch-src::python::python_config.c
new file mode 100644
index 000000000..0300aee8d
--- /dev/null
+++ b/math/scigraphica/files/patch-src::python::python_config.c
@@ -0,0 +1,18 @@
+--- src/python/python_config.c.orig	Mon Mar  7 22:00:46 2005
++++ src/python/python_config.c	Mon Mar  7 22:00:53 2005
+@@ -236,6 +236,7 @@
+          }
+          break;
+       default:
++         break; /* do nothing */;
+      }
+   } 
+ #ifdef WITH_GNOME
+@@ -610,6 +611,7 @@
+     break;
+ 
+     default:
++      break;/* do nothing */;
+     }
+   }
+ 
diff --git a/math/scigraphica/pkg-descr b/math/scigraphica/pkg-descr
new file mode 100644
index 000000000..2cd4f421f
--- /dev/null
+++ b/math/scigraphica/pkg-descr
@@ -0,0 +1,20 @@
+SciGraphica is a scientific application for data analysis and technical
+graphics. It pretends to be a clone of the popular commercial (and expensive)
+application "Microcal Origin". Although it is in a very early development
+stage, it fully supplies plotting features for 2D charts. The aim is to obtain
+a fully-featured, cross-plattform, user-friendly, self-growing scientific
+application. It is free and open-source, released under the GPL license.
+
+Main features:
+--------------
+ o You can open several worksheets and plots and work with them at the same
+   time.
+ o The plots are fully configurable using a control panel dialog.
+ o The look and feel is completely WYSIWYG.
+ o Publication quality PostScript output. 
+ o You can interact with the plots double-clicking, dragging and moving objects
+   with the mouse.
+ o Import/Export features in XML format.
+ o You can insert Python expressions in the worksheets.
+
+WWW: http://scigraphica.sourceforge.net/
diff --git a/math/scigraphica/pkg-plist b/math/scigraphica/pkg-plist
new file mode 100644
index 000000000..f6118d39c
--- /dev/null
+++ b/math/scigraphica/pkg-plist
@@ -0,0 +1,207 @@
+bin/scigraphica
+share/apps/Applications/sg.desktop
+share/gnome/help/scigraphica/C/FAQ.html
+share/gnome/help/scigraphica/C/Introduction.html
+share/gnome/help/scigraphica/C/Modules-1.html
+share/gnome/help/scigraphica/C/Modules-2.html
+share/gnome/help/scigraphica/C/Modules.html
+share/gnome/help/scigraphica/C/Tutorial.html
+share/gnome/help/scigraphica/C/UserGuide.html
+share/gnome/help/scigraphica/C/topic.dat
+share/pixmaps/scigraphica/2d_small.xpm
+share/pixmaps/scigraphica/3d_small.xpm
+share/pixmaps/scigraphica/about_small.xpm
+share/pixmaps/scigraphica/add_column.xpm
+share/pixmaps/scigraphica/arrange.xpm
+share/pixmaps/scigraphica/arrow.xpm
+share/pixmaps/scigraphica/arrow2.xpm
+share/pixmaps/scigraphica/arrow_down.xpm
+share/pixmaps/scigraphica/arrow_left.xpm
+share/pixmaps/scigraphica/arrow_right.xpm
+share/pixmaps/scigraphica/arrow_up.xpm
+share/pixmaps/scigraphica/as.xpm
+share/pixmaps/scigraphica/autoscale.xpm
+share/pixmaps/scigraphica/bold.xpm
+share/pixmaps/scigraphica/book_small.xpm
+share/pixmaps/scigraphica/bullet.xpm
+share/pixmaps/scigraphica/button_ok.xpm
+share/pixmaps/scigraphica/color.xpm
+share/pixmaps/scigraphica/control.xpm
+share/pixmaps/scigraphica/copy.xpm
+share/pixmaps/scigraphica/cut.xpm
+share/pixmaps/scigraphica/dennied.xpm
+share/pixmaps/scigraphica/empty.xpm
+share/pixmaps/scigraphica/error.xpm
+share/pixmaps/scigraphica/exec_small.xpm
+share/pixmaps/scigraphica/exit_small.xpm
+share/pixmaps/scigraphica/eye.xpm
+share/pixmaps/scigraphica/fit5.xpm
+share/pixmaps/scigraphica/fit_page.xpm
+share/pixmaps/scigraphica/fitpage.xpm
+share/pixmaps/scigraphica/folder.xpm
+share/pixmaps/scigraphica/font.xpm
+share/pixmaps/scigraphica/function_small.xpm
+share/pixmaps/scigraphica/g_2dlayer.xpm
+share/pixmaps/scigraphica/g_3dcontour.xpm
+share/pixmaps/scigraphica/g_3dlayer.xpm
+share/pixmaps/scigraphica/g_bars.xpm
+share/pixmaps/scigraphica/g_boxes.xpm
+share/pixmaps/scigraphica/g_bubbles.xpm
+share/pixmaps/scigraphica/g_bubbles3d.xpm
+share/pixmaps/scigraphica/g_colors.xpm
+share/pixmaps/scigraphica/g_colors3d.xpm
+share/pixmaps/scigraphica/g_contour.xpm
+share/pixmaps/scigraphica/g_csurface.xpm
+share/pixmaps/scigraphica/g_density.xpm
+share/pixmaps/scigraphica/g_flux3d.xpm
+share/pixmaps/scigraphica/g_function.xpm
+share/pixmaps/scigraphica/g_hbars.xpm
+share/pixmaps/scigraphica/g_hbox.xpm
+share/pixmaps/scigraphica/g_impulses.xpm
+share/pixmaps/scigraphica/g_lines.xpm
+share/pixmaps/scigraphica/g_lpoints.xpm
+share/pixmaps/scigraphica/g_python.xpm
+share/pixmaps/scigraphica/g_scatter.xpm
+share/pixmaps/scigraphica/g_scatter3d.xpm
+share/pixmaps/scigraphica/g_surface.xpm
+share/pixmaps/scigraphica/g_vectors.xpm
+share/pixmaps/scigraphica/italic.xpm
+share/pixmaps/scigraphica/layer.xpm
+share/pixmaps/scigraphica/layer_control.xpm
+share/pixmaps/scigraphica/logo.xpm
+share/pixmaps/scigraphica/markers.xpm
+share/pixmaps/scigraphica/matrix_icon.xpm
+share/pixmaps/scigraphica/new.xpm
+share/pixmaps/scigraphica/new_2d.xpm
+share/pixmaps/scigraphica/new_2d_small.xpm
+share/pixmaps/scigraphica/new_3d.xpm
+share/pixmaps/scigraphica/new_3d_small.xpm
+share/pixmaps/scigraphica/new_function.xpm
+share/pixmaps/scigraphica/new_plot.xpm
+share/pixmaps/scigraphica/new_polar.xpm
+share/pixmaps/scigraphica/new_polar_small.xpm
+share/pixmaps/scigraphica/new_sheet.xpm
+share/pixmaps/scigraphica/new_small.xpm
+share/pixmaps/scigraphica/open.xpm
+share/pixmaps/scigraphica/open_small.xpm
+share/pixmaps/scigraphica/paint.xpm
+share/pixmaps/scigraphica/paste.xpm
+share/pixmaps/scigraphica/pixmaps.h
+share/pixmaps/scigraphica/plot_icon.xpm
+share/pixmaps/scigraphica/plot_icon2.xpm
+share/pixmaps/scigraphica/plot_small.xpm
+share/pixmaps/scigraphica/point.xpm
+share/pixmaps/scigraphica/pointers.xpm
+share/pixmaps/scigraphica/polar_small.xpm
+share/pixmaps/scigraphica/preferences_small.xpm
+share/pixmaps/scigraphica/print.xpm
+share/pixmaps/scigraphica/python_small.xpm
+share/pixmaps/scigraphica/reload.xpm
+share/pixmaps/scigraphica/reset.xpm
+share/pixmaps/scigraphica/rotate_x.xpm
+share/pixmaps/scigraphica/rotate_y.xpm
+share/pixmaps/scigraphica/rotate_z.xpm
+share/pixmaps/scigraphica/save.xpm
+share/pixmaps/scigraphica/save_as.xpm
+share/pixmaps/scigraphica/save_as_small.xpm
+share/pixmaps/scigraphica/save_small.xpm
+share/pixmaps/scigraphica/set_column.xpm
+share/pixmaps/scigraphica/sg.xpm
+share/pixmaps/scigraphica/sg_icon.xpm
+share/pixmaps/scigraphica/sg_small.xpm
+share/pixmaps/scigraphica/sheet_icon.xpm
+share/pixmaps/scigraphica/sheet_icon2.xpm
+share/pixmaps/scigraphica/sheet_small.xpm
+share/pixmaps/scigraphica/sorry.xpm
+share/pixmaps/scigraphica/stock_button_apply.xpm
+share/pixmaps/scigraphica/stock_button_cancel.xpm
+share/pixmaps/scigraphica/stock_button_close.xpm
+share/pixmaps/scigraphica/stock_button_no.xpm
+share/pixmaps/scigraphica/stock_button_ok.xpm
+share/pixmaps/scigraphica/stock_button_yes.xpm
+share/pixmaps/scigraphica/stock_down_arrow.xpm
+share/pixmaps/scigraphica/stock_font.xpm
+share/pixmaps/scigraphica/stock_help.xpm
+share/pixmaps/scigraphica/stock_left_arrow.xpm
+share/pixmaps/scigraphica/stock_open.xpm
+share/pixmaps/scigraphica/stock_pixmaps.h
+share/pixmaps/scigraphica/stock_right_arrow.xpm
+share/pixmaps/scigraphica/stock_up_arrow.xpm
+share/pixmaps/scigraphica/symbol_circle.xpm
+share/pixmaps/scigraphica/symbol_cross.xpm
+share/pixmaps/scigraphica/symbol_diamond.xpm
+share/pixmaps/scigraphica/symbol_dntriangle.xpm
+share/pixmaps/scigraphica/symbol_dot.xpm
+share/pixmaps/scigraphica/symbol_impulse.xpm
+share/pixmaps/scigraphica/symbol_ltriangle.xpm
+share/pixmaps/scigraphica/symbol_none.xpm
+share/pixmaps/scigraphica/symbol_plus.xpm
+share/pixmaps/scigraphica/symbol_rtriangle.xpm
+share/pixmaps/scigraphica/symbol_square.xpm
+share/pixmaps/scigraphica/symbol_star.xpm
+share/pixmaps/scigraphica/symbol_uptriangle.xpm
+share/pixmaps/scigraphica/target.xpm
+share/pixmaps/scigraphica/text.xpm
+share/pixmaps/scigraphica/tools.xpm
+share/pixmaps/scigraphica/warning.xpm
+share/pixmaps/scigraphica/zoom.xpm
+share/pixmaps/scigraphica/zoom_minus.xpm
+share/pixmaps/scigraphica/zoom_plus.xpm
+share/pixmaps/scigraphica/zoomin.xpm
+share/pixmaps/scigraphica/zoomout.xpm
+share/pixmaps/sg_icon.xpm
+share/scigraphica/examples/3d.sg
+share/scigraphica/examples/image.sg
+share/scigraphica/examples/matrix.sg
+share/scigraphica/examples/multicolumn.sg
+share/scigraphica/examples/polar.sg
+share/scigraphica/examples/py_example1.py
+share/scigraphica/examples/py_example1.pyc
+share/scigraphica/examples/py_example1.pyo
+share/scigraphica/examples/py_example2.py
+share/scigraphica/examples/py_example2.pyc
+share/scigraphica/examples/py_example2.pyo
+share/scigraphica/examples/simpletest.sg
+share/scigraphica/examples/test.dat
+share/scigraphica/examples/ticks.sg
+share/scigraphica/examples/trigonometric.sg
+share/scigraphica/examples/vectors.sg
+share/scigraphica/python/FitWizard.py
+share/scigraphica/python/FitWizard.pyc
+share/scigraphica/python/FitWizard.pyo
+share/scigraphica/python/SimpleStats.py
+share/scigraphica/python/SimpleStats.pyc
+share/scigraphica/python/SimpleStats.pyo
+share/scigraphica/python/clarens.py
+share/scigraphica/python/clarens.pyc
+share/scigraphica/python/clarens.pyo
+share/scigraphica/python/clarens_histograms.py
+share/scigraphica/python/clarens_histograms.pyc
+share/scigraphica/python/clarens_histograms.pyo
+share/scigraphica/python/gtkLeastSquares.py
+share/scigraphica/python/gtkLeastSquares.pyc
+share/scigraphica/python/gtkLeastSquares.pyo
+share/scigraphica/python/pstat.py
+share/scigraphica/python/pstat.pyc
+share/scigraphica/python/pstat.pyo
+share/scigraphica/python/pysga.py
+share/scigraphica/python/pysga.pyc
+share/scigraphica/python/pysga.pyo
+share/scigraphica/python/sgagtk.py
+share/scigraphica/python/sgagtk.pyc
+share/scigraphica/python/sgagtk.pyo
+share/scigraphica/python/stats.py
+share/scigraphica/python/stats.pyc
+share/scigraphica/python/stats.pyo
+share/scigraphica/python/test_plugin.py
+share/scigraphica/python/test_plugin.pyc
+share/scigraphica/python/test_plugin.pyo
+share/scigraphica/python/unpickler.py
+share/scigraphica/python/unpickler.pyc
+share/scigraphica/python/unpickler.pyo
+@dirrm share/scigraphica/python
+@dirrm share/scigraphica/examples
+@dirrm share/scigraphica
+@dirrm share/pixmaps/scigraphica
+@dirrm share/gnome/help/scigraphica/C
+@dirrm share/gnome/help/scigraphica