Tue, 04 Dec 2012 23:19:02 +0100 promote local facts using a hack (for MaSh)
blanchet [Tue, 04 Dec 2012 23:19:02 +0100] rev 50355
promote local facts using a hack (for MaSh)
Tue, 04 Dec 2012 22:14:59 +0100 proper action labels, to make this appear in the "Shortcuts" panel, for example;
wenzelm [Tue, 04 Dec 2012 22:14:59 +0100] rev 50354
proper action labels, to make this appear in the "Shortcuts" panel, for example;
Tue, 04 Dec 2012 19:10:14 +0100 turned off noisy MaSh features
blanchet [Tue, 04 Dec 2012 19:10:14 +0100] rev 50353
turned off noisy MaSh features
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip