2008-10-15 wenzelm [Wed, 15 Oct 2008 21:15:35 +0200] rev 28604
generic ATP manager based on threads (by Fabian Immler);
CONTRIBUTORS NEWS

2008-10-15 wenzelm [Wed, 15 Oct 2008 21:06:15 +0200] rev 28603
added sledgehammer etc.;
doc-src/IsarRef/Thy/HOL_Specific.thy doc-src/IsarRef/Thy/document/HOL_Specific.tex

2008-10-15 wenzelm [Wed, 15 Oct 2008 19:43:11 +0200] rev 28602
removed obsolete Complex sessions;
Admin/isatest/isatest-stats

2008-10-15 haftmann [Wed, 15 Oct 2008 16:25:31 +0200] rev 28601
figure for adaption
doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex doc-src/IsarAdvanced/Codegen/codegen.tex

2008-10-15 ballarin [Wed, 15 Oct 2008 16:06:59 +0200] rev 28600
Removed 'includes' (fixed).
src/HOL/Algebra/Divisibility.thy

2008-10-15 ballarin [Wed, 15 Oct 2008 15:44:15 +0200] rev 28599
Removed 'includes'.
src/HOL/Algebra/Divisibility.thy

2008-10-15 kleing [Wed, 15 Oct 2008 00:18:43 +0200] rev 28598
give more time to do inital loggin and settings read
Admin/isatest/isatest-makedist

2008-10-15 kleing [Wed, 15 Oct 2008 00:18:19 +0200] rev 28597
log start of test session
Admin/isatest/isatest-makeall

2008-10-14 wenzelm [Tue, 14 Oct 2008 20:10:45 +0200] rev 28596
tuned interfaces -- plain prover function, without thread;
misc tuning and simplification;
reduced NJ basis library stuff to bare minimum;
src/HOL/Tools/atp_wrapper.ML

2008-10-14 wenzelm [Tue, 14 Oct 2008 20:10:44 +0200] rev 28595
add_prover: plain prover function, without thread;
removed obsolete atp_thread interface;
moved kill_excessive into main thread manager loop -- avoids race condition wrt. register/unregister;
start_prover: register/unregister self -- avoids race condition;
src/HOL/Tools/atp_manager.ML