changeset 29145 | b1c6f4563df7 |
parent 11635 | fd242f857508 |
child 32987 | eac0ff83005e |
29144:ca186ebbd824 | 29145:b1c6f4563df7 |
---|---|
1 ;;; |
|
2 ;;; $Id$ |
|
3 ;;; |
|
4 ;;; Options for Proof General |
1 ;;; Options for Proof General |
5 |
2 |
6 ;; Examples for sensible settings: |
3 ;; Examples for sensible settings: |
7 |
4 |
8 ;(custom-set-variables '(isar-eta-contract nil)) |
5 ;(custom-set-variables '(isar-eta-contract nil)) |