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 52432 c03090937c3b
parent 52430 289e36c2870a
child 52437 c88354589b43 
--- a/etc/isar-keywords.el	Sun Jun 23 21:40:56 2013 +0200
+++ b/etc/isar-keywords.el	Sun Jun 23 22:31:50 2013 +0200
@@ -183,7 +183,6 @@
     "print_classes"
     "print_codeproc"
     "print_codesetup"
-    "print_coercion_maps"
     "print_coercions"
     "print_commands"
     "print_context"
@@ -413,7 +412,6 @@
     "print_classes"
     "print_codeproc"
     "print_codesetup"
-    "print_coercion_maps"
     "print_coercions"
     "print_commands"
     "print_context"
isabelle