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