src/Tools/README
Sat, 28 Feb 2009 14:09:58 +0100 wenzelm removed Ids;
Thu, 31 May 2007 12:59:31 +0200 wenzelm Tools: generic tools outside of Pure.
Wed, 21 May 1997 17:13:00 +0200 wenzelm tuned all READMEs;
Wed, 21 Dec 1994 12:53:45 +0100 lcp Tools description, largely taken from ../README
less more (0) tip