wenzelm [Wed, 25 Apr 2012 14:29:15 +0200] rev 47746
include generated application wrapper;
wenzelm [Wed, 25 Apr 2012 14:24:27 +0200] rev 47745
back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
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