isabelle: Changelog

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

haftmann [Wed, 21 Jan 2009 18:37:44 +0100] rev 29586

dropped print_interps

haftmann [Wed, 21 Jan 2009 18:27:43 +0100] rev 29585

binding replaces bstring

isabelle