Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords.el
changeset 18888 3b643f81b378
parent 18775 becdbf57eeb8
child 19069 a4b956f8b233 
--- a/etc/isar-keywords.el	Wed Feb 01 19:19:32 2006 +0100
+++ b/etc/isar-keywords.el	Wed Feb 01 22:20:40 2006 +0100
@@ -38,12 +38,10 @@
     "cd"
     "chapter"
     "class"
-    "class_instance"
     "classes"
     "classrel"
     "clear_undos"
     "code_alias"
-    "code_class"
     "code_generate"
     "code_library"
     "code_module"
@@ -230,7 +228,6 @@
     "depending_on"
     "distinct"
     "file"
-    "files"
     "fixes"
     "hide_action"
     "hints"
@@ -251,6 +248,7 @@
     "monos"
     "morphisms"
     "notes"
+    "obtains"
     "open"
     "output"
     "outputs"
@@ -373,7 +371,6 @@
     "classes"
     "classrel"
     "code_alias"
-    "code_class"
     "code_generate"
     "code_library"
     "code_module"
@@ -439,7 +436,6 @@
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"
-    "class_instance"
     "corollary"
     "cpodef"
     "instance"
isabelle