lib/Tools/fixdots
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1999-01-12 wenzelm 1999-01-12 configure AUTO_BASH, AUTO_PERL;
1998-01-02 wenzelm 1998-01-02 do require perl;
1997-10-10 wenzelm 1997-10-10 tuned;
1997-10-09 wenzelm 1997-10-09 \n at end;
1997-10-09 wenzelm 1997-10-09 ensure that dots in formulas are followed by non-idents;