1 ;;;
2 ;;; $Id$
3 ;;;
4 ;;; Options for Proof General
5
6 ;; Examples for sensible settings:
7
8 ;(custom-set-variables '(isar-eta-contract nil))
9
10 ;(custom-set-faces
11 ; '(proof-locked-face
12 ; ((((type x) (class color) (background light)) (:background "lightsteelblue2")))))