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")))))