ballarin [Thu, 16 Oct 2008 17:19:47 +0200] rev 28611
More occurrences of 'includes' gone.
ballarin [Thu, 16 Oct 2008 17:07:20 +0200] rev 28610
Removed outdated locales tutorial.
haftmann [Thu, 16 Oct 2008 08:51:05 +0200] rev 28609
correct rounding
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'.
kleing [Wed, 15 Oct 2008 00:18:43 +0200] rev 28598
give more time to do inital loggin and settings read
kleing [Wed, 15 Oct 2008 00:18:19 +0200] rev 28597
log start of test session