isabelle: File revisions

lib/scripts/getsettings

Sun, 06 Apr 2014 17:09:32 +0200	wenzelm	shell functions for all Isabelle executables;	file \| diff \| annotate
Sun, 06 Apr 2014 16:59:41 +0200	wenzelm	renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;	file \| diff \| annotate
Sat, 28 Sep 2013 15:36:14 +0200	wenzelm	remove remains from WinRun4J;	file \| diff \| annotate
Sat, 28 Sep 2013 13:50:38 +0200	wenzelm	simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);	file \| diff \| annotate
Thu, 26 Sep 2013 12:56:59 +0200	wenzelm	prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);	file \| diff \| annotate
Thu, 12 Sep 2013 14:32:02 +0200	wenzelm	reverse orientation of ISABELLE_CLASSPATH;	file \| diff \| annotate
Thu, 12 Sep 2013 13:23:54 +0200	wenzelm	maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);	file \| diff \| annotate

isabelle