# HG changeset patch
# User haftmann
# Date 1192170717 -7200
# Node ID 730d74336b4dca69d4e18f664626a43eca16fb55
# Parent  ebd5f4cc7118fb8f11da5df8a378b33e7bdcdc7d
updated

diff -r ebd5f4cc7118 -r 730d74336b4d etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Oct 12 08:25:48 2007 +0200
+++ b/etc/isar-keywords.el	Fri Oct 12 08:31:57 2007 +0200
@@ -45,11 +45,11 @@
     "code_datatype"
     "code_deps"
     "code_exception"
+    "code_include"
     "code_instance"
     "code_library"
     "code_module"
     "code_modulename"
-    "code_moduleprolog"
     "code_monad"
     "code_props"
     "code_reserved"
@@ -420,11 +420,11 @@
     "code_const"
     "code_datatype"
     "code_exception"
+    "code_include"
     "code_instance"
     "code_library"
     "code_module"
     "code_modulename"
-    "code_moduleprolog"
     "code_monad"
     "code_props"
     "code_reserved"
diff -r ebd5f4cc7118 -r 730d74336b4d lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Fri Oct 12 08:25:48 2007 +0200
+++ b/lib/jedit/isabelle.xml	Fri Oct 12 08:31:57 2007 +0200
@@ -75,11 +75,11 @@
       <OPERATOR>code_datatype</OPERATOR>
       <LABEL>code_deps</LABEL>
       <OPERATOR>code_exception</OPERATOR>
+      <OPERATOR>code_include</OPERATOR>
       <OPERATOR>code_instance</OPERATOR>
       <OPERATOR>code_library</OPERATOR>
       <OPERATOR>code_module</OPERATOR>
       <OPERATOR>code_modulename</OPERATOR>
-      <OPERATOR>code_moduleprolog</OPERATOR>
       <OPERATOR>code_monad</OPERATOR>
       <OPERATOR>code_props</OPERATOR>
       <OPERATOR>code_reserved</OPERATOR>