author | haftmann |
Sun, 17 Feb 2013 10:40:53 +0100 | |
changeset 52304 | 55644f8caeb3 |
parent 52303 | a019e013b7e4 |
child 52306 | bf18bf4922ea |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
1.1 --- a/CONTRIBUTORS Sat Feb 16 15:27:10 2013 +0100 1.2 +++ b/CONTRIBUTORS Sun Feb 17 10:40:53 2013 +0100 1.3 @@ -6,6 +6,11 @@ 1.4 Contributions to this Isabelle version 1.5 -------------------------------------- 1.6 1.7 +* 2013: Florian Haftmann, TUM 1.8 + Reworking and consolidation of code generation for target 1.9 + language numerals. 1.10 + 1.11 + 1.12 Contributions to Isabelle2013 1.13 ----------------------------- 1.14