haftmann [Tue, 24 Jul 2007 15:20:49 +0200] rev 23951
renamed lcm_lowest to lcm_least
haftmann [Tue, 24 Jul 2007 15:20:48 +0200] rev 23950
dropped axclass
haftmann [Tue, 24 Jul 2007 15:20:47 +0200] rev 23949
using interpretation with derived concepts
haftmann [Tue, 24 Jul 2007 15:20:45 +0200] rev 23948
using class target
wenzelm [Mon, 23 Jul 2007 22:18:05 +0200] rev 23947
added proper implementation of self_critical, CRITICAL;
wenzelm [Mon, 23 Jul 2007 22:18:03 +0200] rev 23946
added multithreading, self_critical
wenzelm [Mon, 23 Jul 2007 22:18:01 +0200] rev 23945
RAW: updated deps;
wenzelm [Mon, 23 Jul 2007 20:47:56 +0200] rev 23944
marked some CRITICAL sections;
wenzelm [Mon, 23 Jul 2007 20:47:55 +0200] rev 23943
added compatibility wrapper for polyml-5.1;
wenzelm [Mon, 23 Jul 2007 19:45:49 +0200] rev 23942
marked some CRITICAL sections;
eliminated transform_failure (to avoid critical section for main transactions);