Thu, 01 Apr 2010 22:34:46 +0100 Anselm R Garbe pretty printing bugs a bit
Thu, 01 Apr 2010 19:39:24 +0100 Anselm R Garbe selmon optimisation is needed
Thu, 01 Apr 2010 00:14:15 +0100 Anselm R Garbe more debug output, experimental focus optimisation
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 tip