equal
deleted
inserted
replaced
1 ;;; Options for Proof General |
1 ;;; Options for Proof General |
2 |
2 |
3 ;; Examples for sensible settings: |
3 ;; Examples for sensible settings: |
4 |
4 |
5 (custom-set-variables '(indent-tabs-mode nil)) |
5 (custom-set-variables '(indent-tabs-mode nil)) |
6 (custom-set-variables '(proof-shell-quit-timeout 45)) |
6 |
|
7 ;(custom-set-variables '(proof-shell-quit-timeout 60)) |
7 |
8 |
8 ;(custom-set-variables '(isar-eta-contract nil)) |
9 ;(custom-set-variables '(isar-eta-contract nil)) |
9 |
10 |
10 ;(custom-set-faces |
11 ;(custom-set-faces |
11 ; '(proof-locked-face |
12 ; '(proof-locked-face |