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 keywords;
authorwenzelm
Wed, 10 Apr 2013 20:58:01 +0200
changeset 51691 69e3bc394f09
parent 51690 c85409ead923
child 51692 ecd34f863242
updated keywords;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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