Sat, 18 Aug 2018 13:40:23 +0200 simplified (cf. dcd69422b953);
wenzelm [Sat, 18 Aug 2018 13:40:23 +0200] rev 68760
simplified (cf. dcd69422b953);
Sat, 18 Aug 2018 13:33:40 +0200 clarified modules;
wenzelm [Sat, 18 Aug 2018 13:33:40 +0200] rev 68759
clarified modules;
Sat, 18 Aug 2018 12:41:05 +0200 clarified modules;
wenzelm [Sat, 18 Aug 2018 12:41:05 +0200] rev 68758
clarified modules;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip