# HG changeset patch
# User wenzelm
# Date 1214686321 -7200
# Node ID 6adb9e6a649d731c1c3f0e2e20ae16542a42239a
# Parent  d10ec4969b9fa5b1c1082038b8b540e6bc4ab960
updated generated file;

diff -r d10ec4969b9f -r 6adb9e6a649d etc/isar-keywords.el
--- 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$
diff -r d10ec4969b9f -r 6adb9e6a649d lib/jedit/isabelle.xml
--- 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>