Mon, 28 Aug 2017 22:32:22 +0100 merged
paulson [Mon, 28 Aug 2017 22:32:22 +0100] rev 66540
merged
Mon, 28 Aug 2017 22:31:47 +0100 final cleanup of negligible_standard_hyperplane and other things
paulson <lp15@cam.ac.uk> [Mon, 28 Aug 2017 22:31:47 +0100] rev 66539
final cleanup of negligible_standard_hyperplane and other things
Mon, 28 Aug 2017 20:33:20 +0100 merged
paulson [Mon, 28 Aug 2017 20:33:20 +0100] rev 66538
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip