Thu, 22 Oct 2009 06:51:27 +0200 Removed some debugging messages
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 22 Oct 2009 06:51:27 +0200] rev 149
Removed some debugging messages
Thu, 22 Oct 2009 01:59:17 +0200 tuned and attempted to store data about the quotients (does not work yet)
Christian Urban <urbanc@in.tum.de> [Thu, 22 Oct 2009 01:59:17 +0200] rev 148
tuned and attempted to store data about the quotients (does not work yet)
Thu, 22 Oct 2009 01:16:42 +0200 tuned
Christian Urban <urbanc@in.tum.de> [Thu, 22 Oct 2009 01:16:42 +0200] rev 147
tuned
Thu, 22 Oct 2009 01:15:01 +0200 slight tuning
Christian Urban <urbanc@in.tum.de> [Thu, 22 Oct 2009 01:15:01 +0200] rev 146
slight tuning
(0) -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 tip