# 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$