| Thu, 04 Feb 2010 18:09:20 +0100 | Cezary Kaliszyk | The automatic lifting translation function, still with dummy types, | file | diff | annotate |
| Mon, 01 Feb 2010 10:00:03 +0100 | Christian Urban | slight tuning | file | diff | annotate |
| Mon, 01 Feb 2010 09:47:46 +0100 | Christian Urban | renamed function according to the name of the constant | file | diff | annotate |
| Thu, 28 Jan 2010 12:28:50 +0100 | Cezary Kaliszyk | End of renaming. | file | diff | annotate |
| Thu, 28 Jan 2010 08:13:39 +0100 | Cezary Kaliszyk | Recommited the changes for nitpick | file | diff | annotate |
| Wed, 27 Jan 2010 12:19:58 +0100 | Cezary Kaliszyk | When commenting discovered a missing case of Babs->Abs regularization. | file | diff | annotate |
| Wed, 27 Jan 2010 12:06:43 +0100 | Cezary Kaliszyk | merge | file | diff | annotate |