Thu, 25 Feb 2010 15:41:23 +0100 Cezary Kaliszyk merge
Thu, 25 Feb 2010 15:40:09 +0100 Cezary Kaliszyk Preparing the generalized lifting procedure
Thu, 25 Feb 2010 14:20:40 +0100 Christian Urban merged
Thu, 25 Feb 2010 14:20:10 +0100 Christian Urban added ott-example about Leroy96
Thu, 25 Feb 2010 14:14:40 +0100 Cezary Kaliszyk Forgot to add one file.
Thu, 25 Feb 2010 14:14:08 +0100 Cezary Kaliszyk Split Terms into separate files and add them to tests.
Thu, 25 Feb 2010 12:32:15 +0100 Cezary Kaliszyk merge
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip