added isabelle_java cold-start executable;

isabelle_process is superseded by "isabelle process" tool;
tuned tool usage;
misc updates and tuning of "system" manual;

--HG--
rename : bin/isabelle_process => lib/Tools/process

renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;

--HG--
rename : bin/isabelle-process => bin/isabelle_process

added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;

simplified command line of "isabelle install";

removed Ids;

removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;

tuned usage line;

simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;

removed obsolete AUTO_BASH feature;

isatool install: removed KDE option;

removed -a option;
fixed -d option to do what -a was trying;
tuned;

restored AUTO_BASH/PERL -- beware of ./configure!
rm -f generated files to avoid accidental overwriting symlinked targets;

Add RDISTDIR option used by Isabelle RPM.

Removed practically all references to Library.foldr.

Merged in license change from Isabelle2004

smart selection of isabelle-process versus isabelle-interface;

tuned;

handle KDE version 1 or 2;

/usr/bin/env bash;

quote executable;

tuned msg;

GPLed;
more robust handling of spaces in args / file names;

Isabelle %f;

tuned usage;

improved icons;

fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm;

improved usage;

-p option;
-k option;

configure AUTO_BASH, AUTO_PERL;

tuned;

-d DISTDIR;
tuned;

exec;

mkdir -p;

install binaries with absolute references to ISABELLE_HOME/bin;