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.
added keywords
authorbulwahn
Tue, 20 Dec 2011 17:40:15 +0100
changeset 45926 f4f22d87e364
parent 45925 cd4243c025bb
child 45927 e0305e4f02c9
added keywords
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Tue Dec 20 17:39:56 2011 +0100
+++ b/etc/isar-keywords.el	Tue Dec 20 17:40:15 2011 +0100
@@ -196,6 +196,7 @@
     "pwd"
     "qed"
     "quickcheck"
+    "quickcheck_generator"
     "quickcheck_params"
     "quit"
     "quotient_definition"
@@ -505,6 +506,7 @@
     "primrec"
     "print_ast_translation"
     "print_translation"
+    "quickcheck_generator"
     "quickcheck_params"
     "quotient_definition"
     "realizability"
isabelle