1.1 --- a/etc/isar-keywords-ZF.el Wed Oct 10 16:29:11 2007 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Wed Oct 10 17:31:52 2007 +0200
1.3 @@ -97,6 +97,7 @@
1.4 "method_setup"
1.5 "moreover"
1.6 "next"
1.7 + "no_notation"
1.8 "no_syntax"
1.9 "no_translations"
1.10 "nonterminals"
1.11 @@ -372,6 +373,7 @@
1.12 "local"
1.13 "locale"
1.14 "method_setup"
1.15 + "no_notation"
1.16 "no_syntax"
1.17 "no_translations"
1.18 "nonterminals"
2.1 --- a/etc/isar-keywords.el Wed Oct 10 16:29:11 2007 +0200
2.2 +++ b/etc/isar-keywords.el Wed Oct 10 17:31:52 2007 +0200
2.3 @@ -122,6 +122,7 @@
2.4 "method_setup"
2.5 "moreover"
2.6 "next"
2.7 + "no_notation"
2.8 "no_syntax"
2.9 "no_translations"
2.10 "nominal_datatype"
2.11 @@ -459,6 +460,7 @@
2.12 "local"
2.13 "locale"
2.14 "method_setup"
2.15 + "no_notation"
2.16 "no_syntax"
2.17 "no_translations"
2.18 "nominal_datatype"
3.1 --- a/lib/jedit/isabelle.xml Wed Oct 10 16:29:11 2007 +0200
3.2 +++ b/lib/jedit/isabelle.xml Wed Oct 10 17:31:52 2007 +0200
3.3 @@ -187,6 +187,7 @@
3.4 <OPERATOR>moreover</OPERATOR>
3.5 <KEYWORD4>morphisms</KEYWORD4>
3.6 <OPERATOR>next</OPERATOR>
3.7 + <OPERATOR>no_notation</OPERATOR>
3.8 <OPERATOR>no_syntax</OPERATOR>
3.9 <OPERATOR>no_translations</OPERATOR>
3.10 <OPERATOR>nominal_datatype</OPERATOR>