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 51691 69e3bc394f09
parent 51585 fcd5af4aac2b
child 51789 75b92ff1d853 
--- a/etc/isar-keywords.el	Wed Apr 10 20:06:36 2013 +0200
+++ b/etc/isar-keywords.el	Wed Apr 10 20:58:01 2013 +0200
@@ -175,6 +175,7 @@
     "print_binds"
     "print_bnfs"
     "print_bundles"
+    "print_case_translations"
     "print_cases"
     "print_claset"
     "print_classes"
@@ -398,6 +399,7 @@
     "print_binds"
     "print_bnfs"
     "print_bundles"
+    "print_case_translations"
     "print_cases"
     "print_claset"
     "print_classes"
isabelle