--- a/etc/isar-keywords.el Sat Jun 28 21:21:21 2008 +0200
+++ b/etc/isar-keywords.el Sat Jun 28 22:52:01 2008 +0200
@@ -1,6 +1,6 @@
;;
;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
+;; Generated from Pure + Pure-ProofGeneral + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
;;
;; $Id$
--- a/lib/jedit/isabelle.xml Sat Jun 28 21:21:21 2008 +0200
+++ b/lib/jedit/isabelle.xml Sat Jun 28 22:52:01 2008 +0200
@@ -1,6 +1,6 @@
<?xml version="1.0"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">
-<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
+<!-- Generated from Pure + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
<!-- $Id$ -->
<MODE>