     1.1 --- a/etc/proofgeneral-settings.el	Sat Dec 20 11:39:34 2008 +0100
     1.2 +++ b/etc/proofgeneral-settings.el	Sat Dec 20 11:55:34 2008 +0100
     1.3 @@ -1,6 +1,3 @@
     1.4 -;;;
     1.5 -;;; $Id$
     1.6 -;;;
     1.7  ;;; Options for Proof General
     1.8  
     1.9  ;; Examples for sensible settings:
changeset 29145	b1c6f4563df7
parent 11635	fd242f857508
child 32987	eac0ff83005e