lib/Tools/install
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-09-08 wenzelm 2001-09-08 smart selection of isabelle-process versus isabelle-interface;
2001-02-14 wenzelm 2001-02-14 tuned;
2001-02-14 wenzelm 2001-02-14 handle KDE version 1 or 2;
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-11-21 wenzelm 2000-11-21 quote executable;
2000-09-19 wenzelm 2000-09-19 tuned msg;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1999-10-26 wenzelm 1999-10-26 Isabelle %f;
1999-10-20 wenzelm 1999-10-20 tuned usage;
1999-04-30 wenzelm 1999-04-30 improved icons;
1999-04-20 wenzelm 1999-04-20 fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm;
1999-04-19 wenzelm 1999-04-19 improved usage;
1999-04-13 wenzelm 1999-04-13 -p option; -k option;
1999-01-12 wenzelm 1999-01-12 configure AUTO_BASH, AUTO_PERL;
1998-08-28 wenzelm 1998-08-28 tuned;
1998-08-28 wenzelm 1998-08-28 -d DISTDIR; tuned;
1998-08-27 wenzelm 1998-08-27 exec;
1998-08-24 wenzelm 1998-08-24 mkdir -p;
1998-08-24 wenzelm 1998-08-24 install binaries with absolute references to ISABELLE_HOME/bin;