# HG changeset patch
# User wenzelm
# Date 1372790852 -7200
# Node ID 750b63fa4c4e87544ba044d1d633a642a0125533
# Parent  bae8f472474e27370e75df4ecc1613636b486d38
tuned;

diff -r bae8f472474e -r 750b63fa4c4e CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Jul 02 19:25:33 2013 +0200
+++ b/CONTRIBUTORS	Tue Jul 02 20:47:32 2013 +0200
@@ -24,11 +24,11 @@
 * March 2013: Florian Haftmann, TUM
   Algebraic locale hierarchy for orderings and (semi)lattices.
 
-* Feb. 2013: Florian Haftmann, TUM
-  Reworking and consolidation of code generation for target
-  language numerals.
+* February 2013: Florian Haftmann, TUM
+  Reworking and consolidation of code generation for target language
+  numerals.
 
-* Feb. 2013: Florian Haftmann, TUM
+* February 2013: Florian Haftmann, TUM
   Sieve of Eratosthenes.