diff -r 4efb68e5576d -r 52bc004950c4 lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Mon Oct 08 18:13:10 2007 +0200
+++ b/lib/jedit/isabelle.xml	Mon Oct 08 19:53:09 2007 +0200
@@ -1,7 +1,8 @@
 <?xml version="1.0"?>
 <!DOCTYPE MODE SYSTEM "xmode.dtd">
-<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF -->
+<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF. -->
 <!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
+<!-- $Id$ -->
 <MODE>
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>