etc/proofgeneral-settings.el

- Exchanged % and %%
- Renamed reconstruct_prf to reconstruct_proof

;
; $Id$
;
; Options for Proof General
;

; Override XEmacs custom settings (commented out)
;(custom-set-variables '(isar-eta-contract nil))