CONTRIBUTORS
changeset 52503 750b63fa4c4e
parent 52485 eed5cbe46f52
child 52896 73e32ed924b3
     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