isabelle: Changelog

immler@in.tum.de [Tue, 20 Jan 2009 23:35:37 +0100] rev 29596

do not interrupt successful thread

immler@in.tum.de [Tue, 20 Jan 2009 22:19:46 +0100] rev 29595

cancel whole group

immler@in.tum.de [Tue, 20 Jan 2009 20:58:25 +0100] rev 29594

Automated merge with http://isabelle.in.tum.de/repos/isabelle/tip

immler@in.tum.de [Tue, 20 Jan 2009 20:58:08 +0100] rev 29593

pass timeout to prover; especially to remote-script

immler@in.tum.de [Tue, 20 Jan 2009 18:12:06 +0100] rev 29592

typo

immler@in.tum.de [Tue, 20 Jan 2009 18:10:25 +0100] rev 29591

merged

immler@in.tum.de [Tue, 20 Jan 2009 16:05:57 +0100] rev 29590

modified remote script; modified handling of errors

immler@in.tum.de [Mon, 19 Jan 2009 20:24:10 +0100] rev 29589

Automated merge with http://isabelle.in.tum.de/repos/isabelle/tip

immler@in.tum.de [Wed, 14 Jan 2009 20:19:47 +0100] rev 29588

removed useless

immler@in.tum.de [Mon, 12 Jan 2009 16:16:05 +0100] rev 29587

simplified usage of remote-script; added compatible remote-atps

isabelle