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.
merge
authorblanchet
Tue, 04 Mar 2014 10:35:37 +0100
changeset 55898 307115c3b969
parent 55897 b9468e4e8c05 (current diff)
parent 55895 74a2758dcbae (diff)
child 55899 8c0a13e84963
merge
--- a/CONTRIBUTORS	Tue Mar 04 09:29:56 2014 +0100
+++ b/CONTRIBUTORS	Tue Mar 04 10:35:37 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