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.
Lucas Dixon;
authorwenzelm
Sun, 05 Jun 2005 11:31:15 +0200
changeset 16252 8cddc62ed170
parent 16251 121dc80d120a
child 16253 c567f9fd61a2
Lucas Dixon;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Sun Jun 05 11:31:14 2005 +0200
+++ b/CONTRIBUTORS	Sun Jun 05 11:31:15 2005 +0200
@@ -5,4 +5,7 @@
 * May 2005: Florian Haftmann, TUM
   Several new antiquotation.
 
+* February 2005: Lucas Dixon, University of Edinburgh
+  Substantially improved subst method.
+
 $Id$
isabelle