1.1 --- a/CONTRIBUTORS Tue Jul 02 19:25:33 2013 +0200
1.2 +++ b/CONTRIBUTORS Tue Jul 02 20:47:32 2013 +0200
1.3 @@ -24,11 +24,11 @@
1.4 * March 2013: Florian Haftmann, TUM
1.5 Algebraic locale hierarchy for orderings and (semi)lattices.
1.6
1.7 -* Feb. 2013: Florian Haftmann, TUM
1.8 - Reworking and consolidation of code generation for target
1.9 - language numerals.
1.10 +* February 2013: Florian Haftmann, TUM
1.11 + Reworking and consolidation of code generation for target language
1.12 + numerals.
1.13
1.14 -* Feb. 2013: Florian Haftmann, TUM
1.15 +* February 2013: Florian Haftmann, TUM
1.16 Sieve of Eratosthenes.
1.17
1.18