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 12954 850609c057e2
parent 12935 d697091d1591
child 13364 d3c7d05d8839 
--- a/etc/isar-keywords.el	Tue Feb 26 18:20:25 2002 +0100
+++ b/etc/isar-keywords.el	Tue Feb 26 21:44:06 2002 +0100
@@ -187,6 +187,7 @@
     "hide_action"
     "hints"
     "in"
+    "includes"
     "induction"
     "infix"
     "infixl"
@@ -216,7 +217,6 @@
     "to"
     "transitions"
     "transrel"
-    "uses"
     "where"))
 
 (defconst isar-keywords-control
isabelle