lib/Tools/symbolinput
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-04-22 wenzelm 1997-04-22 removed -norc;
1997-02-06 wenzelm 1997-02-06 now falls back on ucat instead of cat;
1996-12-16 wenzelm 1996-12-16 symbolinput - translate symbols into \<...> sequences;