+−;;; Options for Proof General +− +−;; Examples for sensible settings: +− +−;(custom-set-variables '(isar-eta-contract nil)) +− +−;(custom-set-faces +−; '(proof-locked-face +−; ((((type x) (class color) (background light)) (:background "lightsteelblue2")))))