isabelle: Changelog

haftmann [Thu, 16 Oct 2008 08:48:27 +0200] rev 28608

circumvent some TeX problem

kleing [Thu, 16 Oct 2008 00:18:53 +0200] rev 28607

only test HOL image for smlnj

wenzelm [Wed, 15 Oct 2008 22:12:02 +0200] rev 28606

tuned;

wenzelm [Wed, 15 Oct 2008 21:45:02 +0200] rev 28605

tuned;

wenzelm [Wed, 15 Oct 2008 21:15:35 +0200] rev 28604

generic ATP manager based on threads (by Fabian Immler);

wenzelm [Wed, 15 Oct 2008 21:06:15 +0200] rev 28603

added sledgehammer etc.;

wenzelm [Wed, 15 Oct 2008 19:43:11 +0200] rev 28602

removed obsolete Complex sessions;

haftmann [Wed, 15 Oct 2008 16:25:31 +0200] rev 28601

figure for adaption

ballarin [Wed, 15 Oct 2008 16:06:59 +0200] rev 28600

Removed 'includes' (fixed).

ballarin [Wed, 15 Oct 2008 15:44:15 +0200] rev 28599

Removed 'includes'.

isabelle