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-ZF.el
changeset 15596 8665d08085df
parent 15407 9e85d2b04867
child 15598 4ab52355bb53 
--- a/etc/isar-keywords-ZF.el	Tue Mar 08 16:02:52 2005 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Mar 09 18:44:52 2005 +0100
@@ -113,6 +113,7 @@
     "print_locale"
     "print_locales"
     "print_methods"
+    "print_registrations"
     "print_rules"
     "print_simpset"
     "print_syntax"
@@ -131,6 +132,7 @@
     "realizability"
     "realizers"
     "redo"
+    "registration"
     "remove_thy"
     "rep_datatype"
     "sect"
@@ -263,6 +265,7 @@
     "print_locale"
     "print_locales"
     "print_methods"
+    "print_registrations"
     "print_rules"
     "print_simpset"
     "print_syntax"
@@ -362,6 +365,7 @@
   '("corollary"
     "instance"
     "lemma"
+    "registration"
     "theorem"))
 
 (defconst isar-keywords-qed
isabelle