# HG changeset patch
# User wenzelm
# Date 1296388938 -3600
# Node ID 6d736d983d5cfec4a6c6fba174db2cd93493a96b
# Parent  5e70526a194768e41e84bd348dcd899e39c69d80
clarified example settings for Proof General;

diff -r 5e70526a1947 -r 6d736d983d5c etc/proofgeneral-settings.el
--- 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")))))