updated generated file;
authorwenzelm
Sat Jun 28 22:52:01 2008 +0200 (2008-06-28)
changeset 273876adb9e6a649d
parent 27386 d10ec4969b9f
child 27388 226835ea8d2b
updated generated file;
etc/isar-keywords.el
lib/jedit/isabelle.xml
     1.1 --- a/etc/isar-keywords.el	Sat Jun 28 21:21:21 2008 +0200
     1.2 +++ b/etc/isar-keywords.el	Sat Jun 28 22:52:01 2008 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
     1.7 +;; Generated from Pure + Pure-ProofGeneral + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  ;; $Id$
     2.1 --- a/lib/jedit/isabelle.xml	Sat Jun 28 21:21:21 2008 +0200
     2.2 +++ b/lib/jedit/isabelle.xml	Sat Jun 28 22:52:01 2008 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  <?xml version="1.0"?>
     2.5  <!DOCTYPE MODE SYSTEM "xmode.dtd">
     2.6 -<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
     2.7 +<!-- Generated from Pure + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
     2.8  <!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
     2.9  <!-- $Id$ -->
    2.10  <MODE>