1.1 --- a/etc/isar-keywords.el Thu Apr 02 15:07:00 2009 +0200
1.2 +++ b/etc/isar-keywords.el Thu Apr 02 15:08:38 2009 +0200
1.3 @@ -291,7 +291,6 @@
1.4 "notes"
1.5 "obtains"
1.6 "open"
1.7 - "otherwise"
1.8 "output"
1.9 "outputs"
1.10 "overloaded"
2.1 --- a/lib/jedit/isabelle.xml Thu Apr 02 15:07:00 2009 +0200
2.2 +++ b/lib/jedit/isabelle.xml Thu Apr 02 15:08:38 2009 +0200
2.3 @@ -212,7 +212,6 @@
2.4 <OPERATOR>oops</OPERATOR>
2.5 <KEYWORD4>open</KEYWORD4>
2.6 <OPERATOR>oracle</OPERATOR>
2.7 - <KEYWORD4>otherwise</KEYWORD4>
2.8 <KEYWORD4>output</KEYWORD4>
2.9 <KEYWORD4>outputs</KEYWORD4>
2.10 <KEYWORD4>overloaded</KEYWORD4>