isabelle: etc/proofgeneral-settings.el@6cac9f48f96a (annotated)

11635 fd242f857508 tuned; wenzelm parents: 11061 diff changeset	1	;;; Options for Proof General
11061 9b9d48ce3b6c example Proof General settings; wenzelm parents: diff changeset	2
11635 fd242f857508 tuned; wenzelm parents: 11061 diff changeset	3	;; Examples for sensible settings:
fd242f857508 tuned; wenzelm parents: 11061 diff changeset	4
32987 eac0ff83005e disable indent-tabs-mode in Proof General / Emacs; wenzelm parents: 29145 diff changeset	5	(custom-set-variables '(indent-tabs-mode nil))
41559 38f379224369 hardwired default for proof-shell-quit-timeout (PG 4.1 provides rather low value); wenzelm parents: 32987 diff changeset	6	(custom-set-variables '(proof-shell-quit-timeout 45))
32987 eac0ff83005e disable indent-tabs-mode in Proof General / Emacs; wenzelm parents: 29145 diff changeset	7
11061 9b9d48ce3b6c example Proof General settings; wenzelm parents: diff changeset	8	;(custom-set-variables '(isar-eta-contract nil))
11635 fd242f857508 tuned; wenzelm parents: 11061 diff changeset	9
fd242f857508 tuned; wenzelm parents: 11061 diff changeset	10	;(custom-set-faces
fd242f857508 tuned; wenzelm parents: 11061 diff changeset	11	; '(proof-locked-face
fd242f857508 tuned; wenzelm parents: 11061 diff changeset	12	; ((((type x) (class color) (background light)) (:background "lightsteelblue2")))))