wenzelm [Wed, 19 Sep 2007 20:45:29 +0200] rev 24652
ml_output: proper error instead of error_msg;
webertj [Wed, 19 Sep 2007 18:48:54 +0200] rev 24651
comment added to explain a potential scheduling problem
nipkow [Wed, 19 Sep 2007 17:16:40 +0200] rev 24650
tuned
nipkow [Wed, 19 Sep 2007 15:26:58 +0200] rev 24649
*** empty log message ***
paulson [Wed, 19 Sep 2007 13:59:13 +0200] rev 24648
metis too slow
isatest [Wed, 19 Sep 2007 13:52:54 +0200] rev 24647
move at-sml-dev to 2-processor atbroy100
isatest [Wed, 19 Sep 2007 13:51:58 +0200] rev 24646
make sun-sml-dev non-proof-term, and at-sml-def -p 2 (at-sml-dev being moved
to faster atbroy100)
nipkow [Wed, 19 Sep 2007 13:14:00 +0200] rev 24645
Generalized [_.._] from nat to linear orders
berghofe [Wed, 19 Sep 2007 12:17:13 +0200] rev 24644
Enclosed end_theory in text antiquotation to make LaTeX happy.
wenzelm [Wed, 19 Sep 2007 11:50:07 +0200] rev 24643
* ML: just one true type int;