etc/proofgeneral-settings.el
changeset 29145 b1c6f4563df7
parent 11635 fd242f857508
child 32987 eac0ff83005e
--- 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: