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.
added contributor
authornipkow
Tue, 04 Mar 2014 08:19:04 +0100
changeset 55895 74a2758dcbae
parent 55894 8f3fe443948a
child 55898 307115c3b969
added contributor
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Mon Mar 03 23:05:49 2014 +0100
+++ b/CONTRIBUTORS	Tue Mar 04 08:19:04 2014 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* March 2014: René Thiemann
+  Improved code generation for multisets.
+
 * January 2014: Lars Hupel, TUM
   An improved, interactive simplifier trace with integration into the
   Isabelle/jEdit Prover IDE.
isabelle