Thu, 25 Feb 2010 15:41:23 +0100 merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 15:41:23 +0100] rev 1275
merge
Thu, 25 Feb 2010 15:40:09 +0100 Preparing the generalized lifting procedure
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 15:40:09 +0100] rev 1274
Preparing the generalized lifting procedure
Thu, 25 Feb 2010 14:20:40 +0100 merged
Christian Urban <urbanc@in.tum.de> [Thu, 25 Feb 2010 14:20:40 +0100] rev 1273
merged
Thu, 25 Feb 2010 14:20:10 +0100 added ott-example about Leroy96
Christian Urban <urbanc@in.tum.de> [Thu, 25 Feb 2010 14:20:10 +0100] rev 1272
added ott-example about Leroy96
Thu, 25 Feb 2010 14:14:40 +0100 Forgot to add one file.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 14:14:40 +0100] rev 1271
Forgot to add one file.
Thu, 25 Feb 2010 14:14:08 +0100 Split Terms into separate files and add them to tests.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 14:14:08 +0100] rev 1270
Split Terms into separate files and add them to tests.
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip