CONTRIBUTORS
changeset 40120 c57fffa2727c
parent 39644 ad436fa9fc5b
child 40287 4af3706bcd5d
     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