lib/Tools/logo
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-09-29 wenzelm 1998-09-29 handle empty name;
1998-09-25 wenzelm 1998-09-25 improved;
1998-09-24 wenzelm 1998-09-24 create an instance of the Isabelle logo;