src/Tools/README
2009-02-28 wenzelm 2009-02-28 removed Ids;
2007-05-31 wenzelm 2007-05-31 Tools: generic tools outside of Pure.
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1994-12-21 lcp 1994-12-21 Tools description, largely taken from ../README