Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated keywords (with polyml-experimental);
authorwenzelm
Thu, 02 Apr 2009 15:08:38 +0200
changeset 30856 8b8d86cc2437
parent 30855 c22436e6d350
child 30857 3fb9345721e4
updated keywords (with polyml-experimental);
etc/isar-keywords.el file | annotate | diff | comparison | revisions
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions 
--- 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"
--- 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>
isabelle