Wed, 28 Oct 2009 19:46:15 +0100 | Christian Urban | ported all constant definitions to new scheme | changeset | files |
Wed, 28 Oct 2009 19:36:52 +0100 | Christian Urban | fixed the definition of alpha; this *breaks* some of the experiments | changeset | files |
Wed, 28 Oct 2009 18:08:38 +0100 | Cezary Kaliszyk | disambiguate ===> syntax | changeset | files |