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 47308 9caab698dbe4
parent 47267 4c7548e7df86
child 47354 95846613e414 
--- a/etc/isar-keywords.el	Tue Apr 03 14:09:37 2012 +0200
+++ b/etc/isar-keywords.el	Tue Apr 03 16:26:48 2012 +0200
@@ -190,7 +190,9 @@
     "print_orders"
     "print_quotconsts"
     "print_quotients"
+    "print_quotientsQ3"
     "print_quotmaps"
+    "print_quotmapsQ3"
     "print_rules"
     "print_simpset"
     "print_statement"
@@ -403,7 +405,9 @@
     "print_orders"
     "print_quotconsts"
     "print_quotients"
+    "print_quotientsQ3"
     "print_quotmaps"
+    "print_quotmapsQ3"
     "print_rules"
     "print_simpset"
     "print_statement"
isabelle