author | haftmann |
Mon, 25 Oct 2010 13:34:57 +0200 | |
changeset 40364 | c57fffa2727c |
parent 40355 | 80b7f456600f |
child 40365 | e7a80c6752c9 |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
1.1 --- a/CONTRIBUTORS Mon Oct 25 10:45:22 2010 +0200 1.2 +++ b/CONTRIBUTORS Mon Oct 25 13:34:57 2010 +0200 1.3 @@ -7,6 +7,9 @@ 1.4 -------------------------------------- 1.5 1.6 * September 2010: Florian Haftmann, TUM 1.7 + Refined concepts for evaluation, i.e. normalisation of terms using different techniques. 1.8 + 1.9 +* September 2010: Florian Haftmann, TUM 1.10 Code generation for Scala. 1.11 1.12 * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM