lib/Tools/install
2014-04-06 wenzelm 2014-04-06 renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
2013-05-22 wenzelm 2013-05-22 added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
2012-11-20 wenzelm 2012-11-20 simplified command line of "isabelle install";
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-11-30 wenzelm 2008-11-30 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-04-08 wenzelm 2008-04-08 removed obsolete AUTO_BASH feature;
2005-07-01 wenzelm 2005-07-01 isatool install: removed KDE option;
2005-04-26 wenzelm 2005-04-26 removed -a option; fixed -d option to do what -a was trying; tuned;
2005-04-26 wenzelm 2005-04-26 restored AUTO_BASH/PERL -- beware of ./configure! rm -f generated files to avoid accidental overwriting symlinked targets;
2005-04-14 aspinall 2005-04-14 Add RDISTDIR option used by Isabelle RPM.
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
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;