blanchet [Wed, 02 Jun 2010 12:28:42 +0200] rev 37318
give more helpful error message
haftmann [Fri, 04 Jun 2010 16:42:26 +0200] rev 37317
first proposal for a announcement
krauss [Fri, 04 Jun 2010 16:02:46 +0200] rev 37316
NEWS (more strict internal axioms/defs format)
wenzelm [Fri, 04 Jun 2010 16:47:36 +0200] rev 37315
one all-inclusive bundle for each platform;
wenzelm [Fri, 04 Jun 2010 15:48:13 +0200] rev 37314
more robust handling of additional type variables: warning, more canonical order, drop mixfix syntax if implicit type arguments are introduced (to avoid delusion due to shifted arguments);
wenzelm [Fri, 04 Jun 2010 14:15:56 +0200] rev 37313
tuned warning;
wenzelm [Fri, 04 Jun 2010 11:31:33 +0200] rev 37312
less ambitious settings;
wenzelm [Fri, 04 Jun 2010 11:30:46 +0200] rev 37311
spelling;
wenzelm [Thu, 03 Jun 2010 23:56:05 +0200] rev 37310
do not open Proofterm, which is very ould style;
wenzelm [Thu, 03 Jun 2010 23:17:57 +0200] rev 37309
eliminated ML structure alias;