haftmann [Thu, 25 Sep 2008 16:05:52 +0200] rev 28359
clarifed redundancy policy
wenzelm [Thu, 25 Sep 2008 14:37:32 +0200] rev 28358
tuned comments;
wenzelm [Thu, 25 Sep 2008 14:35:03 +0200] rev 28357
added release_results;
tuned comments;
wenzelm [Thu, 25 Sep 2008 14:35:02 +0200] rev 28356
abtract types: plain datatype with opaque signature matching;
promise: join pending futures at end of theory;
wenzelm [Thu, 25 Sep 2008 14:35:01 +0200] rev 28355
prove: error with original thread position;
wenzelm [Thu, 25 Sep 2008 13:21:13 +0200] rev 28354
explicit type OrdList.T;
haftmann [Thu, 25 Sep 2008 11:14:01 +0200] rev 28353
(temporary workaround)
haftmann [Thu, 25 Sep 2008 10:17:23 +0200] rev 28352
(temporal deactivation)
haftmann [Thu, 25 Sep 2008 10:17:22 +0200] rev 28351
non left-linear equations for nbe
haftmann [Thu, 25 Sep 2008 09:28:08 +0200] rev 28350
non left-linear equations for nbe
haftmann [Thu, 25 Sep 2008 09:28:07 +0200] rev 28349
map_force
haftmann [Thu, 25 Sep 2008 09:28:06 +0200] rev 28348
matchess
haftmann [Thu, 25 Sep 2008 09:28:05 +0200] rev 28347
burrow_fst
haftmann [Thu, 25 Sep 2008 09:28:03 +0200] rev 28346
discontinued special treatment of op = vs. eq_class.eq
wenzelm [Wed, 24 Sep 2008 19:39:25 +0200] rev 28345
report: produce individual status messages;