isabelle: File revisions

lib/scripts/getsettings

Sun, 13 Feb 2011 17:45:21 +0100	wenzelm	more explicit exit due to failed etc/settings -- normally return code 0=true and 1=false could be tolerated, but bash syntax errors also return 1;	file \| diff \| annotate
Sun, 13 Feb 2011 17:29:44 +0100	wenzelm	eliminated somewhat obsolete warning -- former "$HOME/Isabelle" vs. "$HOME/isabelle" no longer exist;	file \| diff \| annotate
Sun, 13 Feb 2011 17:19:43 +0100	wenzelm	tuned;	file \| diff \| annotate
Fri, 21 Jan 2011 22:04:12 +0100	wenzelm	JVM/Windows: more robust treatment of unicode in file names;	file \| diff \| annotate
Wed, 19 Jan 2011 21:01:37 +0100	wenzelm	clasrified classpath: add in front in accordance to librarypath (cf. b7cd80330a16), for slightly more robustness;	file \| diff \| annotate
Wed, 19 Jan 2011 21:00:16 +0100	wenzelm	added librarypath: shared library convenience in bash, keeping LD_LIBRARY_PATH and DYLD_LIBRARY_PATH separate;	file \| diff \| annotate
Tue, 11 Jan 2011 19:55:34 +0100	wenzelm	isabelle version -i;	file \| diff \| annotate

isabelle