isabelle: File revisions

src/HOL/Tools/Sledgehammer/async_manager.ML

Mon, 21 May 2012 10:39:31 +0200	blanchet	tuning	file \| diff \| annotate
Wed, 18 Apr 2012 10:53:27 +0200	blanchet	display more messages, now that more provers are run by default	file \| diff \| annotate
Fri, 18 Nov 2011 11:47:12 +0100	blanchet	less offensive terminology	file \| diff \| annotate
Wed, 10 Aug 2011 15:17:24 +0200	wenzelm	more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning;	file \| diff \| annotate
Mon, 30 May 2011 17:00:38 +0200	blanchet	better merging of similar outputs	file \| diff \| annotate
Fri, 27 May 2011 10:30:08 +0200	blanchet	use helpers and tweak Quickcheck's priority to it comes second (to give Solve Direct slightly more time before another prover runs)	file \| diff \| annotate
Fri, 27 May 2011 10:30:07 +0200	blanchet	merge timeout messages from several ATPs into one message to avoid clutter	file \| diff \| annotate
Tue, 07 Dec 2010 09:58:56 +0100	blanchet	load "try" after "Metis" and move "Async_Manager" back to Sledgehammer	file \| diff \| annotate \| base

isabelle