--- a/lib/ProofGeneral/pgml.rnc Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/ProofGeneral/pgml.rnc Sat Nov 14 18:36:05 2009 +0100
@@ -3,7 +3,6 @@
#
# Authors: David Aspinall, LFCS, University of Edinburgh
# Christoph Lueth, University of Bremen
-# Version: $Id$
#
# Status: Complete, prototype.
#