isabelle: Changelog

wenzelm [Wed, 25 Apr 2012 14:19:53 +0200] rev 47744

ISABELLE_JDK_HOME is already provided by isatest shell environment;

wenzelm [Wed, 25 Apr 2012 11:29:55 +0200] rev 47743

added splash screen, to reduce confusion when waiting for main application to start up;

wenzelm [Wed, 25 Apr 2012 10:59:06 +0200] rev 47742

move polyml within Cygwin /usr/local to simplify its rebasing;

wenzelm [Wed, 25 Apr 2012 10:24:41 +0200] rev 47741

improved spelling;

blanchet [Wed, 25 Apr 2012 00:57:41 +0200] rev 47740

added "no_atp"s for extremely prolific, useless facts for ATPs

wenzelm [Tue, 24 Apr 2012 23:22:40 +0200] rev 47739

tuned;

wenzelm [Tue, 24 Apr 2012 23:03:59 +0200] rev 47738

merged

blanchet [Tue, 24 Apr 2012 20:55:09 +0200] rev 47737

made "split_last" more robust in the face of obscure low-level errors

blanchet [Tue, 24 Apr 2012 20:55:09 +0200] rev 47736

removed confusing error

wenzelm [Tue, 24 Apr 2012 19:14:03 +0200] rev 47735

some friendly message;

isabelle