tuned;
authorwenzelm
Tue Jul 02 20:47:32 2013 +0200 (2013-07-02)
changeset 52503750b63fa4c4e
parent 52502 bae8f472474e
child 52504 52cd8bebc3b6
child 52507 27925b58d6bd
tuned;
CONTRIBUTORS
     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