Wed, 25 Apr 2012 11:29:55 +0200 added splash screen, to reduce confusion when waiting for main application to start up;
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;
Wed, 25 Apr 2012 10:59:06 +0200 move polyml within Cygwin /usr/local to simplify its rebasing;
wenzelm [Wed, 25 Apr 2012 10:59:06 +0200] rev 47742
move polyml within Cygwin /usr/local to simplify its rebasing;
Wed, 25 Apr 2012 10:24:41 +0200 improved spelling;
wenzelm [Wed, 25 Apr 2012 10:24:41 +0200] rev 47741
improved spelling;
Wed, 25 Apr 2012 00:57:41 +0200 added "no_atp"s for extremely prolific, useless facts for ATPs
blanchet [Wed, 25 Apr 2012 00:57:41 +0200] rev 47740
added "no_atp"s for extremely prolific, useless facts for ATPs
Tue, 24 Apr 2012 23:22:40 +0200 tuned;
wenzelm [Tue, 24 Apr 2012 23:22:40 +0200] rev 47739
tuned;
Tue, 24 Apr 2012 23:03:59 +0200 merged
wenzelm [Tue, 24 Apr 2012 23:03:59 +0200] rev 47738
merged
Tue, 24 Apr 2012 20:55:09 +0200 made "split_last" more robust in the face of obscure low-level errors
blanchet [Tue, 24 Apr 2012 20:55:09 +0200] rev 47737
made "split_last" more robust in the face of obscure low-level errors
Tue, 24 Apr 2012 20:55:09 +0200 removed confusing error
blanchet [Tue, 24 Apr 2012 20:55:09 +0200] rev 47736
removed confusing error
Tue, 24 Apr 2012 19:14:03 +0200 some friendly message;
wenzelm [Tue, 24 Apr 2012 19:14:03 +0200] rev 47735
some friendly message;
Tue, 24 Apr 2012 16:09:17 +0200 merged
wenzelm [Tue, 24 Apr 2012 16:09:17 +0200] rev 47734
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip