diff options
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 |