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