changeset 32987 | eac0ff83005e |
parent 29145 | b1c6f4563df7 |
child 41807 | 38f379224369 |
32986:6f5efd3cfc39 | 32987:eac0ff83005e |
---|---|
1 ;;; Options for Proof General |
1 ;;; Options for Proof General |
2 |
2 |
3 ;; Examples for sensible settings: |
3 ;; Examples for sensible settings: |
4 |
|
5 (custom-set-variables '(indent-tabs-mode nil)) |
|
4 |
6 |
5 ;(custom-set-variables '(isar-eta-contract nil)) |
7 ;(custom-set-variables '(isar-eta-contract nil)) |
6 |
8 |
7 ;(custom-set-faces |
9 ;(custom-set-faces |
8 ; '(proof-locked-face |
10 ; '(proof-locked-face |