blob: f64581dd0c4f249c655b01b802e8d3f4a066119c (
plain)
1
2
3
4
5
6
7
8
9
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=""
|
