# 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 @@
code_datatype
code_exception
+ code_include
code_instance
code_library
code_module
code_modulename
- code_moduleprolog
code_monad
code_props
code_reserved