isabelle: Changelog

boehmes [Fri, 18 Sep 2009 18:13:19 +0200] rev 32618

added new method "smt": an oracle-based connection to external SMT solvers

wenzelm [Sun, 20 Sep 2009 19:17:33 +0200] rev 32617

tuned tracing;

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

isabelle