lib/Tools/fixgoal
2000-11-22 wenzelm 2000-11-22 tuned;
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-06-18 wenzelm 1998-06-18 replace goal(w) commands by implicit versions Goal(w);