1.1 --- a/etc/isar-keywords.el Fri Oct 12 08:25:48 2007 +0200
1.2 +++ b/etc/isar-keywords.el Fri Oct 12 08:31:57 2007 +0200
1.3 @@ -45,11 +45,11 @@
1.4 "code_datatype"
1.5 "code_deps"
1.6 "code_exception"
1.7 + "code_include"
1.8 "code_instance"
1.9 "code_library"
1.10 "code_module"
1.11 "code_modulename"
1.12 - "code_moduleprolog"
1.13 "code_monad"
1.14 "code_props"
1.15 "code_reserved"
1.16 @@ -420,11 +420,11 @@
1.17 "code_const"
1.18 "code_datatype"
1.19 "code_exception"
1.20 + "code_include"
1.21 "code_instance"
1.22 "code_library"
1.23 "code_module"
1.24 "code_modulename"
1.25 - "code_moduleprolog"
1.26 "code_monad"
1.27 "code_props"
1.28 "code_reserved"
2.1 --- a/lib/jedit/isabelle.xml Fri Oct 12 08:25:48 2007 +0200
2.2 +++ b/lib/jedit/isabelle.xml Fri Oct 12 08:31:57 2007 +0200
2.3 @@ -75,11 +75,11 @@
2.4 <OPERATOR>code_datatype</OPERATOR>
2.5 <LABEL>code_deps</LABEL>
2.6 <OPERATOR>code_exception</OPERATOR>
2.7 + <OPERATOR>code_include</OPERATOR>
2.8 <OPERATOR>code_instance</OPERATOR>
2.9 <OPERATOR>code_library</OPERATOR>
2.10 <OPERATOR>code_module</OPERATOR>
2.11 <OPERATOR>code_modulename</OPERATOR>
2.12 - <OPERATOR>code_moduleprolog</OPERATOR>
2.13 <OPERATOR>code_monad</OPERATOR>
2.14 <OPERATOR>code_props</OPERATOR>
2.15 <OPERATOR>code_reserved</OPERATOR>