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: