changeset 24912 | 52bc004950c4 |
parent 24904 | 5b59fadfe878 |
child 24919 | ad3a8569759c |
--- 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="(*"/>