| Tue, 12 Apr 2016 15:00:26 +0200 | wenzelm | simplified -- avoid odd mutable state, which potentially causes problems with module initialization; | changeset | files |
| Tue, 12 Apr 2016 14:50:53 +0200 | wenzelm | back to static Mixfix.default_constraint without any special tricks (reverting e6443edaebff); | changeset | files |
| Tue, 12 Apr 2016 14:38:57 +0200 | wenzelm | Type_Infer.object_logic controls improvement of type inference result; | changeset | files |
| Tue, 12 Apr 2016 13:49:37 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 11 Apr 2016 15:50:50 +0200 | wenzelm | simplified constraints; | changeset | files |
| Mon, 11 Apr 2016 15:50:18 +0200 | wenzelm | back to dummy constraints (amending dd2914250ca7): important for Syntax_Phases.get_free/is_declared; | changeset | files |