Tue, 15 Jun 2010 08:32:32 +0200 | haftmann | formal introduction of case cong | file | diff | annotate |
Mon, 07 Jun 2010 13:42:38 +0200 | haftmann | more consistent naming aroud type classes and instances | file | diff | annotate |
Tue, 01 Jun 2010 13:52:11 +0200 | haftmann | brackify_infix etc.: no break before infix operator -- eases survival in Scala | file | diff | annotate |