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