diff -r ca186ebbd824 -r b1c6f4563df7 etc/proofgeneral-settings.el --- a/etc/proofgeneral-settings.el Sat Dec 20 11:39:34 2008 +0100 +++ b/etc/proofgeneral-settings.el Sat Dec 20 11:55:34 2008 +0100 @@ -1,6 +1,3 @@ -;;; -;;; $Id$ -;;; ;;; Options for Proof General ;; Examples for sensible settings: