| 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 |