| changeset 11635 | fd242f857508 |
| parent 11061 | 9b9d48ce3b6c |
| child 29145 | b1c6f4563df7 |
| 11634:cddf6441a14a | 11635:fd242f857508 |
|---|---|
1 ; |
1 ;;; |
2 ; $Id$ |
2 ;;; $Id$ |
3 ; |
3 ;;; |
4 ; Options for Proof General |
4 ;;; Options for Proof General |
5 ; |
|
6 |
5 |
7 ; Override XEmacs custom settings (commented out) |
6 ;; Examples for sensible settings: |
7 |
|
8 ;(custom-set-variables '(isar-eta-contract nil)) |
8 ;(custom-set-variables '(isar-eta-contract nil)) |
9 |
|
10 ;(custom-set-faces |
|
11 ; '(proof-locked-face |
|
12 ; ((((type x) (class color) (background light)) (:background "lightsteelblue2"))))) |