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 for random testing.
authorberghofe
Fri, 11 Jul 2003 15:01:41 +0200
changeset 14109 7aa5b79daffb
parent 14108 eaf3c75f2c8e
child 14110 c45c94fa16f4
Added keywords for random testing.
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Fri Jul 11 15:00:54 2003 +0200
+++ b/etc/isar-keywords-ZF.el	Fri Jul 11 15:01:41 2003 +0200
@@ -119,6 +119,8 @@
     "prop"
     "pwd"
     "qed"
+    "quickcheck"
+    "quickcheck_params"
     "quit"
     "realizability"
     "realizers"
@@ -257,6 +259,7 @@
     "print_trans_rules"
     "prop"
     "pwd"
+    "quickcheck"
     "remove_thy"
     "term"
     "thm"
@@ -321,6 +324,7 @@
     "primrec"
     "print_ast_translation"
     "print_translation"
+    "quickcheck_params"
     "realizability"
     "realizers"
     "rep_datatype"
--- a/etc/isar-keywords.el	Fri Jul 11 15:00:54 2003 +0200
+++ b/etc/isar-keywords.el	Fri Jul 11 15:01:41 2003 +0200
@@ -120,6 +120,8 @@
     "prop"
     "pwd"
     "qed"
+    "quickcheck"
+    "quickcheck_params"
     "quit"
     "realizability"
     "realizers"
@@ -277,6 +279,7 @@
     "print_trans_rules"
     "prop"
     "pwd"
+    "quickcheck"
     "remove_thy"
     "term"
     "thm"
@@ -343,6 +346,7 @@
     "primrec"
     "print_ast_translation"
     "print_translation"
+    "quickcheck_params"
     "realizability"
     "realizers"
     "recdef"
isabelle