diff options
author | René 'Necoro' Neumann <necoro@necoro.net> | 2009-09-28 18:58:55 +0200 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.net> | 2009-09-28 18:58:55 +0200 |
commit | e1a68a8c00d2b7f4ed09578305917a1595faebb4 (patch) | |
tree | d0fc9a4b05f201835282c403b88938a5730f68e9 /sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch | |
parent | 62580ba14d004b3611f4ea14accf1f47fe14922e (diff) | |
download | overlay-e1a68a8c00d2b7f4ed09578305917a1595faebb4.tar.gz overlay-e1a68a8c00d2b7f4ed09578305917a1595faebb4.tar.bz2 overlay-e1a68a8c00d2b7f4ed09578305917a1595faebb4.zip |
Add isabelle ebuild
Diffstat (limited to 'sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch')
-rw-r--r-- | sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch b/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch new file mode 100644 index 0000000..f64581d --- /dev/null +++ b/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch @@ -0,0 +1,10 @@ +--- Isabelle/etc/settings.old 2009-09-28 15:20:14.000000000 +0200 ++++ Isabelle/etc/settings 2009-09-28 15:20:34.000000000 +0200 +@@ -194,6 +194,7 @@ + "/usr/local/ProofGeneral" \ + "/usr/share/ProofGeneral" \ + "/opt/ProofGeneral" \ ++ "/usr/share/emacs/site-lisp/ProofGeneral" \ + "") + + PROOFGENERAL_OPTIONS="" |