isabelle: Changelog

wenzelm [Sun, 20 Sep 2009 18:37:55 +0200] rev 32616

scheduler backdoor: 9999 means 1 worker;

wenzelm [Sun, 20 Sep 2009 18:15:07 +0200] rev 32615

Hilbert_Classical: more precise control of parallel_proofs;

wenzelm [Sun, 20 Sep 2009 17:23:23 +0200] rev 32614

actually observe Multithreading.enabled (cf. d302f1c9e356);

nipkow [Sat, 19 Sep 2009 10:19:34 +0200] rev 32613

merged

nipkow [Sat, 19 Sep 2009 10:19:12 +0200] rev 32612

restructured code

haftmann [Sat, 19 Sep 2009 07:35:27 +0200] rev 32611

merged

haftmann [Fri, 18 Sep 2009 16:00:56 +0200] rev 32610

rewrite premises in tactical proof also with inf_fun_eq and inf_bool_eq: attempt to allow user to use inf [=>] and inf [bool] in his specs

nipkow [Fri, 18 Sep 2009 23:08:53 +0200] rev 32609

modified minimization log

nipkow [Fri, 18 Sep 2009 14:40:24 +0200] rev 32608

merged

nipkow [Fri, 18 Sep 2009 14:40:06 +0200] rev 32607

skip &&& goals

isabelle