From 9e6fe3477ee173592b56107a04abf9c38c9a098f Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Wed, 21 Jan 2004 21:31:18 +0000 Subject: Initial commit --- app-emacs/proofgeneral/files/50proofgeneral-gentoo.el | 5 +++++ app-emacs/proofgeneral/files/digest-proofgeneral-3.4 | 1 + 2 files changed, 6 insertions(+) create mode 100644 app-emacs/proofgeneral/files/50proofgeneral-gentoo.el create mode 100644 app-emacs/proofgeneral/files/digest-proofgeneral-3.4 (limited to 'app-emacs/proofgeneral/files') diff --git a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el new file mode 100644 index 000000000000..998e9ba55809 --- /dev/null +++ b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el @@ -0,0 +1,5 @@ + +;;; Proof General site-lisp configuration + +;;;(setq load-path (cons "@SITELISP@/generic" load-path)) +(load-file "@SITELISP@/generic/proof-site.el") diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.4 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.4 new file mode 100644 index 000000000000..4fdb13f9263e --- /dev/null +++ b/app-emacs/proofgeneral/files/digest-proofgeneral-3.4 @@ -0,0 +1 @@ +MD5 83eafa68f0c733800b2da3a6a22c31d7 ProofGeneral-3.4.tar.gz 762807 -- cgit v1.2.3-65-gdbad