| Thu, 04 Jul 2013 09:13:49 +0200 | Andreas Lochbihler | merged | changeset | files |
| Wed, 03 Jul 2013 00:08:29 +0200 | krauss | more robust instantiation: extract vars from conclusion instead of relying on fixed overall ordering | changeset | files |
| Thu, 04 Jul 2013 08:52:44 +0200 | haftmann | consider explicit hint for domain of class parameters when printing instance statements | changeset | files |
| Thu, 04 Jul 2013 08:52:44 +0200 | haftmann | explicit hint for domain of class parameters in instance statements | changeset | files |
| Wed, 03 Jul 2013 23:42:07 +0200 | wenzelm | merged | changeset | files |
| Wed, 03 Jul 2013 23:26:09 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 03 Jul 2013 23:02:00 +0200 | wenzelm | more exception handling -- make print functions total; | changeset | files |