| Thu, 31 Mar 2016 08:38:50 +0200 | traytel | tuned interface | changeset | files |
| Wed, 30 Mar 2016 23:47:12 +0200 | wenzelm | merged | changeset | files |
| Wed, 30 Mar 2016 23:46:44 +0200 | wenzelm | proper object-logic constraint (amending dd2914250ca7); | changeset | files |
| Wed, 30 Mar 2016 23:34:00 +0200 | wenzelm | reconcile object-logic constraint vs. mixfix constraint; | changeset | files |
| Wed, 30 Mar 2016 23:32:50 +0200 | wenzelm | more explicit support for object-logic constraint; | changeset | files |
| Wed, 30 Mar 2016 22:35:41 +0200 | wenzelm | more language markup; | changeset | files |
| Wed, 30 Mar 2016 22:00:55 +0200 | wenzelm | more accurate mixfix type constraints; | changeset | files |