--- a/etc/proofgeneral-settings.el Fri Jan 28 18:35:46 2011 +0100
+++ b/etc/proofgeneral-settings.el Sun Jan 30 13:02:18 2011 +0100
@@ -1,13 +1,13 @@
;;; Options for Proof General
+;;;
+;;; Examples for sensible settings:
-;; Examples for sensible settings:
-
+;; keep sources clean
(custom-set-variables '(indent-tabs-mode nil))
+;; retain vital AltGr behaviour, e.g. on non-US Mac OS X
+;(custom-set-variables '(ns-alternate-modifier 'none))
+
+;; longer timeout for saving persistent session
;(custom-set-variables '(proof-shell-quit-timeout 60))
-;(custom-set-variables '(isar-eta-contract nil))
-
-;(custom-set-faces
-; '(proof-locked-face
-; ((((type x) (class color) (background light)) (:background "lightsteelblue2")))))