Tue, 17 Aug 2010 17:54:46 +0200 | haftmann | enforcing a singleton type inference parameter after type inference and before fixation prevents multiple type variables in import during class declaration | file | diff | annotate |
Fri, 13 Aug 2010 17:17:04 +0200 | haftmann | corrected handling of `constrains` elements | file | diff | annotate |
Thu, 12 Aug 2010 13:42:12 +0200 | haftmann | named target is optional | file | diff | annotate |
Thu, 12 Aug 2010 13:28:18 +0200 | haftmann | Named_Target.init: empty string represents theory target | file | diff | annotate |
Wed, 11 Aug 2010 20:25:44 +0200 | haftmann | merged | file | diff | annotate | base |
Wed, 11 Aug 2010 16:02:03 +0200 | haftmann | more convenient split of class modules: class and class_declaration | file | diff | annotate | base |