1.1 --- a/etc/proofgeneral-settings.el Fri Jan 28 18:35:46 2011 +0100
1.2 +++ b/etc/proofgeneral-settings.el Sun Jan 30 13:02:18 2011 +0100
1.3 @@ -1,13 +1,13 @@
1.4 ;;; Options for Proof General
1.5 +;;;
1.6 +;;; Examples for sensible settings:
1.7
1.8 -;; Examples for sensible settings:
1.9 -
1.10 +;; keep sources clean
1.11 (custom-set-variables '(indent-tabs-mode nil))
1.12
1.13 +;; retain vital AltGr behaviour, e.g. on non-US Mac OS X
1.14 +;(custom-set-variables '(ns-alternate-modifier 'none))
1.15 +
1.16 +;; longer timeout for saving persistent session
1.17 ;(custom-set-variables '(proof-shell-quit-timeout 60))
1.18
1.19 -;(custom-set-variables '(isar-eta-contract nil))
1.20 -
1.21 -;(custom-set-faces
1.22 -; '(proof-locked-face
1.23 -; ((((type x) (class color) (background light)) (:background "lightsteelblue2")))))