equal
deleted
inserted
replaced
1 ;;; Options for Proof General |
1 ;;; Options for Proof General |
|
2 ;;; |
|
3 ;;; Examples for sensible settings: |
2 |
4 |
3 ;; Examples for sensible settings: |
5 ;; keep sources clean |
4 |
|
5 (custom-set-variables '(indent-tabs-mode nil)) |
6 (custom-set-variables '(indent-tabs-mode nil)) |
6 |
7 |
|
8 ;; retain vital AltGr behaviour, e.g. on non-US Mac OS X |
|
9 ;(custom-set-variables '(ns-alternate-modifier 'none)) |
|
10 |
|
11 ;; longer timeout for saving persistent session |
7 ;(custom-set-variables '(proof-shell-quit-timeout 60)) |
12 ;(custom-set-variables '(proof-shell-quit-timeout 60)) |
8 |
13 |
9 ;(custom-set-variables '(isar-eta-contract nil)) |
|
10 |
|
11 ;(custom-set-faces |
|
12 ; '(proof-locked-face |
|
13 ; ((((type x) (class color) (background light)) (:background "lightsteelblue2"))))) |
|