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.
updated
authorhaftmann
Fri, 16 Mar 2007 21:32:05 +0100
changeset 22449 ece6952a8975
parent 22448 f982e73e36de
child 22450 51ee032f9591
updated
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Fri Mar 16 17:17:36 2007 +0100
+++ b/CONTRIBUTORS	Fri Mar 16 21:32:05 2007 +0100
@@ -2,6 +2,11 @@
 Contributions to Isabelle
 -------------------------
 
+* 2006/2007: Florian Haftmann, TUM
+  Pure: generic code generator framework.
+  Pure: class package.
+  HOL: theory tuning, code generator setup.
+
 * November 2006: Lukas Bulwahn, TUM
   HOL/function: method "lexicographic_order".
isabelle