Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 02 Jul 2013 20:47:32 +0200
changeset 52503 750b63fa4c4e
parent 52502 bae8f472474e
child 52504 52cd8bebc3b6
child 52507 27925b58d6bd
tuned;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- 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.
isabelle