diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-01-21 21:31:18 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-01-21 21:31:18 +0000 |
| commit | 9e6fe3477ee173592b56107a04abf9c38c9a098f (patch) | |
| tree | 53cad9604204e7e4f33d39df41696b492366e4b0 /app-emacs/proofgeneral/files | |
| parent | Initial commit (diff) | |
| download | gentoo-2-9e6fe3477ee173592b56107a04abf9c38c9a098f.tar.gz gentoo-2-9e6fe3477ee173592b56107a04abf9c38c9a098f.tar.bz2 gentoo-2-9e6fe3477ee173592b56107a04abf9c38c9a098f.zip | |
Initial commit
Diffstat (limited to 'app-emacs/proofgeneral/files')
| -rw-r--r-- | app-emacs/proofgeneral/files/50proofgeneral-gentoo.el | 5 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/digest-proofgeneral-3.4 | 1 |
2 files changed, 6 insertions, 0 deletions
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 |