Mon, 29 Apr 2019 00:36:43 +0100 paulson final tidying-up
Sun, 28 Apr 2019 18:06:47 +0100 paulson further de-applying
Sun, 28 Apr 2019 16:50:19 +0100 paulson removal of ASCII connectives; some de-applying
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip