Fri, 04 Jun 2010 16:02:46 +0200 NEWS (more strict internal axioms/defs format)
krauss [Fri, 04 Jun 2010 16:02:46 +0200] rev 37316
NEWS (more strict internal axioms/defs format)
Fri, 04 Jun 2010 16:47:36 +0200 one all-inclusive bundle for each platform;
wenzelm [Fri, 04 Jun 2010 16:47:36 +0200] rev 37315
one all-inclusive bundle for each platform;
Fri, 04 Jun 2010 15:48:13 +0200 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 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);
Fri, 04 Jun 2010 14:15:56 +0200 tuned warning;
wenzelm [Fri, 04 Jun 2010 14:15:56 +0200] rev 37313
tuned warning;
Fri, 04 Jun 2010 11:31:33 +0200 less ambitious settings;
wenzelm [Fri, 04 Jun 2010 11:31:33 +0200] rev 37312
less ambitious settings;
Fri, 04 Jun 2010 11:30:46 +0200 spelling;
wenzelm [Fri, 04 Jun 2010 11:30:46 +0200] rev 37311
spelling;
Thu, 03 Jun 2010 23:56:05 +0200 do not open Proofterm, which is very ould style;
wenzelm [Thu, 03 Jun 2010 23:56:05 +0200] rev 37310
do not open Proofterm, which is very ould style;
Thu, 03 Jun 2010 23:17:57 +0200 eliminated ML structure alias;
wenzelm [Thu, 03 Jun 2010 23:17:57 +0200] rev 37309
eliminated ML structure alias;
Thu, 03 Jun 2010 22:54:33 +0200 tuned default perspective;
wenzelm [Thu, 03 Jun 2010 22:54:33 +0200] rev 37308
tuned default perspective;
Thu, 03 Jun 2010 22:45:49 +0200 tracing in aliceblue;
wenzelm [Thu, 03 Jun 2010 22:45:49 +0200] rev 37307
tracing in aliceblue;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip