2011-11-07 clarified attribute "mono_set": pure declaration, proper export in ML;
wenzelm [Mon, 07 Nov 2011 14:23:50 +0100] rev 45384
clarified attribute "mono_set": pure declaration, proper export in ML;
2011-11-07 misc tuning;
wenzelm [Mon, 07 Nov 2011 14:14:20 +0100] rev 45383
misc tuning;
2011-11-07 made SML/NJ happy;
wenzelm [Mon, 07 Nov 2011 12:08:22 +0100] rev 45382
made SML/NJ happy;
2011-11-06 more millisecond cleanup
blanchet [Sun, 06 Nov 2011 22:18:54 +0100] rev 45381
more millisecond cleanup
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip