Fri, 11 Nov 2011 16:06:26 +0100 tuned;
wenzelm [Fri, 11 Nov 2011 16:06:26 +0100] rev 45457
tuned;
Fri, 11 Nov 2011 15:25:22 +0100 more abstract Markup_Tree;
wenzelm [Fri, 11 Nov 2011 15:25:22 +0100] rev 45456
more abstract Markup_Tree;
Fri, 11 Nov 2011 14:24:38 +0100 prefer statically typed Text.Markup;
wenzelm [Fri, 11 Nov 2011 14:24:38 +0100] rev 45455
prefer statically typed Text.Markup;
Fri, 11 Nov 2011 14:07:20 +0100 discontinued entity text color, notably historic red for classes;
wenzelm [Fri, 11 Nov 2011 14:07:20 +0100] rev 45454
discontinued entity text color, notably historic red for classes; tuned entity names;
Fri, 11 Nov 2011 12:52:57 +0100 more scalable Proof_Context.prepare_sorts;
wenzelm [Fri, 11 Nov 2011 12:52:57 +0100] rev 45453
more scalable Proof_Context.prepare_sorts; reverted a97251eea458 -- uniform position constraints independently of accidental source positions (e.g. TTY vs. document);
Fri, 11 Nov 2011 10:40:36 +0100 increasing values_timeout to avoid failures of isatest with HOL-IMP
bulwahn [Fri, 11 Nov 2011 10:40:36 +0100] rev 45452
increasing values_timeout to avoid failures of isatest with HOL-IMP
Fri, 11 Nov 2011 08:32:48 +0100 renaming example invocations: tester predicate_compile is renamed to smart_exhaustive
bulwahn [Fri, 11 Nov 2011 08:32:48 +0100] rev 45451
renaming example invocations: tester predicate_compile is renamed to smart_exhaustive
Fri, 11 Nov 2011 08:32:45 +0100 adding CPS compilation to predicate compiler;
bulwahn [Fri, 11 Nov 2011 08:32:45 +0100] rev 45450
adding CPS compilation to predicate compiler; removing function_flattening reference; new testers smart_exhaustive and smart_slow_exhaustive; renaming PredicateCompFuns to Predicate_Comp_Funs;
Fri, 11 Nov 2011 08:32:44 +0100 adding option allow_function_inversion to quickcheck options
bulwahn [Fri, 11 Nov 2011 08:32:44 +0100] rev 45449
adding option allow_function_inversion to quickcheck options
Thu, 10 Nov 2011 23:30:50 +0100 more efficient prepare_sorts -- bypass encoded positions;
wenzelm [Thu, 10 Nov 2011 23:30:50 +0100] rev 45448
more efficient prepare_sorts -- bypass encoded positions;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip