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.
increasing values_timeout to avoid SML_makeall failures on our current tests
authorbulwahn
Mon, 10 Oct 2011 16:47:45 +0200
changeset 45125 c15b0faeb70a
parent 45124 d78ec6c10fa1
child 45126 fc3bb3a42369
increasing values_timeout to avoid SML_makeall failures on our current tests
src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy	Mon Oct 10 11:12:09 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy	Mon Oct 10 16:47:45 2011 +0200
@@ -2,7 +2,7 @@
 imports Main "~~/src/HOL/Library/Predicate_Compile_Alternative_Defs"
 begin
 
-declare [[values_timeout = 480.0]]
+declare [[values_timeout = 960.0]]
 
 section {* Specialisation Examples *}
 
@@ -260,4 +260,4 @@
 thm subtype_refl'.equation
 
 
-end
\ No newline at end of file
+end
isabelle