1.1 --- a/etc/isar-keywords-ZF.el Tue Oct 16 23:12:58 2007 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Wed Oct 17 11:53:35 2007 +0200
1.3 @@ -230,7 +230,6 @@
1.4 "infixr"
1.5 "intros"
1.6 "is"
1.7 - "local_syntax"
1.8 "monos"
1.9 "notes"
1.10 "obtains"
2.1 --- a/etc/isar-keywords.el Tue Oct 16 23:12:58 2007 +0200
2.2 +++ b/etc/isar-keywords.el Wed Oct 17 11:53:35 2007 +0200
2.3 @@ -278,7 +278,6 @@
2.4 "internals"
2.5 "is"
2.6 "lazy"
2.7 - "local_syntax"
2.8 "module_name"
2.9 "monos"
2.10 "morphisms"
2.11 @@ -294,7 +293,6 @@
2.12 "pre"
2.13 "rename"
2.14 "restrict"
2.15 - "sequential"
2.16 "shows"
2.17 "signature"
2.18 "states"
3.1 --- a/lib/jedit/isabelle.xml Tue Oct 16 23:12:58 2007 +0200
3.2 +++ b/lib/jedit/isabelle.xml Wed Oct 17 11:53:35 2007 +0200
3.3 @@ -179,7 +179,6 @@
3.4 <OPERATOR>lemmas</OPERATOR>
3.5 <OPERATOR>let</OPERATOR>
3.6 <OPERATOR>local</OPERATOR>
3.7 - <KEYWORD4>local_syntax</KEYWORD4>
3.8 <OPERATOR>locale</OPERATOR>
3.9 <OPERATOR>method_setup</OPERATOR>
3.10 <KEYWORD4>module_name</KEYWORD4>
3.11 @@ -272,7 +271,6 @@
3.12 <KEYWORD4>restrict</KEYWORD4>
3.13 <OPERATOR>sect</OPERATOR>
3.14 <OPERATOR>section</OPERATOR>
3.15 - <KEYWORD4>sequential</KEYWORD4>
3.16 <OPERATOR>setup</OPERATOR>
3.17 <KEYWORD2>show</KEYWORD2>
3.18 <KEYWORD4>shows</KEYWORD4>