Tue, 14 Dec 2021 08:59:49 +0100 tuned comments;
wenzelm [Tue, 14 Dec 2021 08:59:49 +0100] rev 74930
tuned comments;
Tue, 14 Dec 2021 09:05:41 +0100 merged
desharna [Tue, 14 Dec 2021 09:05:41 +0100] rev 74929
merged
Mon, 13 Dec 2021 22:53:02 +0100 tuned ATP to use fold_index
desharna [Mon, 13 Dec 2021 22:53:02 +0100] rev 74928
tuned ATP to use fold_index
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip