isabelle: etc/proofgeneral-settings.el@512327d842c3 (annotated)

11635 fd242f857508 tuned; 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

author	blanchet
	Wed, 06 Jun 2012 10:35:05 +0200
changeset 48080	512327d842c3
parent 41648	6d736d983d5c
permissions	-rw-r--r--