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 |
7 ;(custom-set-variables '(isar-eta-contract nil)) |
8 ;(custom-set-variables '(isar-eta-contract nil)) |
8 |
9 |
9 ;(custom-set-faces |
10 ;(custom-set-faces |
10 ; '(proof-locked-face |
11 ; '(proof-locked-face |