Fri, 04 Jun 2010 15:48:13 +0200 | wenzelm | 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); | changeset | files |
Fri, 04 Jun 2010 14:15:56 +0200 | wenzelm | tuned warning; | changeset | files |
Fri, 04 Jun 2010 11:31:33 +0200 | wenzelm | less ambitious settings; | changeset | files |
Fri, 04 Jun 2010 11:30:46 +0200 | wenzelm | spelling; | changeset | files |
Thu, 03 Jun 2010 23:56:05 +0200 | wenzelm | do not open Proofterm, which is very ould style; | changeset | files |
Thu, 03 Jun 2010 23:17:57 +0200 | wenzelm | eliminated ML structure alias; | changeset | files |