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.
deactivating quickcheck invocation in this example until the Interrupt issue is understood
authorbulwahn
Wed, 20 Jul 2011 08:16:42 +0200
changeset 43916 eabe4d6fbd13
parent 43915 ef347714c5c1
child 43917 bce3de79c8ce
deactivating quickcheck invocation in this example until the Interrupt issue is understood
src/HOL/Predicate_Compile_Examples/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Predicate_Compile_Examples/ROOT.ML	Wed Jul 20 08:16:41 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/ROOT.ML	Wed Jul 20 08:16:42 2011 +0200
@@ -3,7 +3,7 @@
   "Predicate_Compile_Tests",
 (*  "Predicate_Compile_Quickcheck_Examples", -- should be added again soon *)
   "Specialisation_Examples",
-  "Hotel_Example_Small_Generator",
+(*  "Hotel_Example_Small_Generator",*)
   "IMP_1",
   "IMP_2"
 (*  "IMP_3",
isabelle