| Mon, 13 Sep 2010 16:44:17 +0200 | bulwahn | removing obsolete argument in prepare_intrs; passing context instead of theory in prepare_intrs | changeset | files |
| Mon, 13 Sep 2010 15:22:40 +0200 | haftmann | type antiquotation: allow arbitrary type abbreviations, but fail with user-space exception on bad input | changeset | files |
| Mon, 13 Sep 2010 14:55:21 +0200 | haftmann | merged | changeset | files |