lib/Tools/logo
2013-09-21 wenzelm 2013-09-21 proper text replacement (cf. 747835eb2782);
2012-09-03 wenzelm 2012-09-03 "isabelle logo" produces EPS and PDF format simultaneously; more robust invocation of epstopdf: avoid filter mode;
2012-08-27 wenzelm 2012-08-27 clarified "isabelle logo";
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-04-08 wenzelm 2008-04-08 removed obsolete AUTO_PERL feature;
2005-04-26 wenzelm 2005-04-26 restored AUTO_BASH/PERL -- beware of ./configure!
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
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;