| changeset 54940 | a20b105bb5d1 |
| parent 54934 | 4587de627cd8 |
| parent 54939 | b411e99d1581 |
| child 54941 | 6d99745afe34 |
| 54934:4587de627cd8 | 54940:a20b105bb5d1 |
|---|---|
1 ;;; Options for Proof General |
|
2 ;;; |
|
3 ;;; Examples for sensible settings: |
|
4 |
|
5 ;; keep sources clean |
|
6 (custom-set-variables '(indent-tabs-mode nil)) |
|
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 |
|
12 ;(custom-set-variables '(proof-shell-quit-timeout 60)) |
|
13 |