clarified example settings for Proof General; Isabelle2011
authorwenzelm
Sun Jan 30 13:02:18 2011 +0100 (2011-01-30)
changeset 416486d736d983d5c
parent 41647 5e70526a1947
child 41649 57181bb1dfe0
clarified example settings for Proof General;
etc/proofgeneral-settings.el
     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")))))