| Thu, 04 Jul 2013 08:52:44 +0200 | haftmann | consider explicit hint for domain of class parameters when printing instance statements | file | diff | annotate |
| Thu, 04 Jul 2013 08:52:44 +0200 | haftmann | explicit hint for domain of class parameters in instance statements | file | diff | annotate |