| author | Walther Neuper <neuper@ist.tugraz.at> |
| Tue, 05 Oct 2010 09:01:30 +0200 | |
| branch | isac-update-Isa09-2 |
| changeset 38042 | 26f3832d96b2 |
| parent 32987 | eac0ff83005e |
| child 41807 | 38f379224369 |
| 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 '(isar-eta-contract nil))
9 ;(custom-set-faces
10 ; '(proof-locked-face
11 ; ((((type x) (class color) (background light)) (:background "lightsteelblue2")))))