etc/proofgeneral-settings.el
author wenzelm
Tue, 02 Jul 2013 20:47:32 +0200
changeset 52503 750b63fa4c4e
parent 41648 6d736d983d5c
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11635
wenzelm
parents: 11061
diff changeset
     1
;;; Options for Proof General
41648
6d736d983d5c clarified example settings for Proof General;
wenzelm
parents: 41626
diff changeset
     2
;;;
6d736d983d5c clarified example settings for Proof General;
wenzelm
parents: 41626
diff changeset
     3
;;; Examples for sensible settings:
11061
9b9d48ce3b6c example Proof General settings;
wenzelm
parents:
diff changeset
     4
41648
6d736d983d5c clarified example settings for Proof General;
wenzelm
parents: 41626
diff changeset
     5
;; keep sources clean
32987
eac0ff83005e disable indent-tabs-mode in Proof General / Emacs;
wenzelm
parents: 29145
diff changeset
     6
(custom-set-variables '(indent-tabs-mode nil))
41626
057bbb28d3ff do not overwrite proof-shell-quit-timeout by default (final PG 4.1 supposedly gets it right);
wenzelm
parents: 41559
diff changeset
     7
41648
6d736d983d5c clarified example settings for Proof General;
wenzelm
parents: 41626
diff changeset
     8
;; retain vital AltGr behaviour, e.g. on non-US Mac OS X
6d736d983d5c clarified example settings for Proof General;
wenzelm
parents: 41626
diff changeset
     9
;(custom-set-variables '(ns-alternate-modifier 'none))
6d736d983d5c clarified example settings for Proof General;
wenzelm
parents: 41626
diff changeset
    10
6d736d983d5c clarified example settings for Proof General;
wenzelm
parents: 41626
diff changeset
    11
;; longer timeout for saving persistent session
41626
057bbb28d3ff do not overwrite proof-shell-quit-timeout by default (final PG 4.1 supposedly gets it right);
wenzelm
parents: 41559
diff changeset
    12
;(custom-set-variables '(proof-shell-quit-timeout 60))
32987
eac0ff83005e disable indent-tabs-mode in Proof General / Emacs;
wenzelm
parents: 29145
diff changeset
    13