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.
Include keywords print_coercions and print_coercion_maps
authorberghofe
Fri, 23 Sep 2011 14:08:50 +0200
changeset 45061 39519609abe0
parent 45060 9c2568c0a504
child 45062 9598cada31b3
Include keywords print_coercions and print_coercion_maps
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Wed Aug 17 19:49:07 2011 +0200
+++ b/etc/isar-keywords.el	Fri Sep 23 14:08:50 2011 +0200
@@ -169,6 +169,8 @@
     "print_classes"
     "print_codeproc"
     "print_codesetup"
+    "print_coercion_maps"
+    "print_coercions"
     "print_commands"
     "print_configs"
     "print_context"
@@ -377,6 +379,8 @@
     "print_classes"
     "print_codeproc"
     "print_codesetup"
+    "print_coercion_maps"
+    "print_coercions"
     "print_commands"
     "print_configs"
     "print_context"
isabelle