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;
authorwenzelm
Tue, 26 Feb 2002 21:44:06 +0100
changeset 12954 850609c057e2
parent 12953 7d5bd53555d8
child 12955 f4d60f358cb6
updated;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Tue Feb 26 18:20:25 2002 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Feb 26 21:44:06 2002 +0100
@@ -180,6 +180,7 @@
     "files"
     "fixes"
     "in"
+    "includes"
     "induction"
     "infix"
     "infixl"
@@ -195,7 +196,6 @@
     "structure"
     "type_elims"
     "type_intros"
-    "uses"
     "where"))
 
 (defconst isar-keywords-control
--- 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