# HG changeset patch
# User wenzelm
# Date 1238677718 -7200
# Node ID 8b8d86cc2437197f3410681b5b2f04af4afe64f0
# Parent  c22436e6d3504ecbc176b51884c18131e81e80ae
updated keywords (with polyml-experimental);

diff -r c22436e6d350 -r 8b8d86cc2437 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Thu Apr 02 15:07:00 2009 +0200
+++ b/etc/isar-keywords.el	Thu Apr 02 15:08:38 2009 +0200
@@ -291,7 +291,6 @@
     "notes"
     "obtains"
     "open"
-    "otherwise"
     "output"
     "outputs"
     "overloaded"
diff -r c22436e6d350 -r 8b8d86cc2437 lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Thu Apr 02 15:07:00 2009 +0200
+++ b/lib/jedit/isabelle.xml	Thu Apr 02 15:08:38 2009 +0200
@@ -212,7 +212,6 @@
       <OPERATOR>oops</OPERATOR>
       <KEYWORD4>open</KEYWORD4>
       <OPERATOR>oracle</OPERATOR>
-      <KEYWORD4>otherwise</KEYWORD4>
       <KEYWORD4>output</KEYWORD4>
       <KEYWORD4>outputs</KEYWORD4>
       <KEYWORD4>overloaded</KEYWORD4>