Mon, 20 Sep 2010 19:00:47 +0200 updated keywords;
wenzelm [Mon, 20 Sep 2010 19:00:47 +0200] rev 39571
updated keywords;
Mon, 20 Sep 2010 18:45:58 +0200 merged
wenzelm [Mon, 20 Sep 2010 18:45:58 +0200] rev 39570
merged
Mon, 20 Sep 2010 18:43:49 +0200 merged
haftmann [Mon, 20 Sep 2010 18:43:49 +0200] rev 39569
merged
Mon, 20 Sep 2010 18:43:26 +0200 corrected long-overlooked slip: the Pure equality of a code equation is no part of the code equation itself
haftmann [Mon, 20 Sep 2010 18:43:26 +0200] rev 39568
corrected long-overlooked slip: the Pure equality of a code equation is no part of the code equation itself
Mon, 20 Sep 2010 18:43:23 +0200 dynamic_eval_conv static_eval_conv: certification of previously unreliably reconstructed evaluated term
haftmann [Mon, 20 Sep 2010 18:43:23 +0200] rev 39567
dynamic_eval_conv static_eval_conv: certification of previously unreliably reconstructed evaluated term
Mon, 20 Sep 2010 18:43:18 +0200 Pure equality is a regular cpde operation
haftmann [Mon, 20 Sep 2010 18:43:18 +0200] rev 39566
Pure equality is a regular cpde operation
Mon, 20 Sep 2010 15:25:32 +0200 full palette of dynamic/static value(_strict/exn)
haftmann [Mon, 20 Sep 2010 15:25:32 +0200] rev 39565
full palette of dynamic/static value(_strict/exn)
Mon, 20 Sep 2010 15:10:21 +0200 Factored out ML into separate file
haftmann [Mon, 20 Sep 2010 15:10:21 +0200] rev 39564
Factored out ML into separate file
Mon, 20 Sep 2010 18:28:29 +0200 merged
wenzelm [Mon, 20 Sep 2010 18:28:29 +0200] rev 39563
merged
Mon, 20 Sep 2010 17:12:52 +0200 merged
blanchet [Mon, 20 Sep 2010 17:12:52 +0200] rev 39562
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip