# HG changeset patch # User wenzelm # Date 1117963875 -7200 # Node ID 8cddc62ed170f38c3c38067aa1bebd9cd7f0e5c3 # Parent 121dc80d120a6e52b5ca61259244df158763f00e Lucas Dixon; diff -r 121dc80d120a -r 8cddc62ed170 CONTRIBUTORS --- 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$