log

age author description
Tue, 13 Jan 2009 20:08:06 -0500 James Bergstra misc small changes
Tue, 13 Jan 2009 16:00:36 -0500 james merged
Tue, 13 Jan 2009 16:00:24 -0500 james revised newstuff.resolve to do more importing
Mon, 12 Jan 2009 18:47:10 -0500 Olivier Breuleux merge
Mon, 12 Jan 2009 18:46:46 -0500 Olivier Breuleux corrected filemerge
Thu, 18 Dec 2008 20:10:35 -0500 Olivier Breuleux fixed small bug with filemerge