wneuper/isa: etc/proofgeneral-settings.el@ca430e6aee1c

etc/proofgeneral-settings.el

Propagation of mixins for interpretation; reactivated diagnostic command print_interps.

     1 ;;; Options for Proof General

     3 ;; Examples for sensible settings:

     5 ;(custom-set-variables '(isar-eta-contract nil))

     7 ;(custom-set-faces

     8 ; '(proof-locked-face

     9 ;   ((((type x) (class color) (background light)) (:background "lightsteelblue2")))))

wneuper/isa