author | wenzelm |
Sun, 23 Jan 2011 16:29:10 +0100 | |
changeset 41874 | 057bbb28d3ff |
parent 41807 | 38f379224369 |
child 41896 | 6d736d983d5c |
permissions | -rw-r--r-- |
1 ;;; Options for Proof General
3 ;; Examples for sensible settings:
5 (custom-set-variables '(indent-tabs-mode nil))
7 ;(custom-set-variables '(proof-shell-quit-timeout 60))
9 ;(custom-set-variables '(isar-eta-contract nil))
11 ;(custom-set-faces
12 ; '(proof-locked-face
13 ; ((((type x) (class color) (background light)) (:background "lightsteelblue2")))))