Sun, 29 Apr 2018 14:46:11 +0100 more defer/prefer
paulson <lp15@cam.ac.uk> [Sun, 29 Apr 2018 14:46:11 +0100] rev 68055
more defer/prefer
Sat, 28 Apr 2018 21:37:45 +0100 getting rid of more "defer", etc.
paulson <lp15@cam.ac.uk> [Sat, 28 Apr 2018 21:37:45 +0100] rev 68054
getting rid of more "defer", etc.
Sat, 28 Apr 2018 14:38:53 +0100 getting rid of "defer"
paulson <lp15@cam.ac.uk> [Sat, 28 Apr 2018 14:38:53 +0100] rev 68053
getting rid of "defer"
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip