Thu, 15 Oct 2009 23:28:10 +0200 | wenzelm | replaced String.concat by implode; | file | diff | annotate |
Mon, 12 Oct 2009 09:25:26 +0200 | haftmann | using distinct rules directly | file | diff | annotate |
Thu, 08 Oct 2009 19:33:03 +0200 | haftmann | lookup for datatype constructors considers type annotations to resolve overloading | file | diff | annotate |
Tue, 23 Jun 2009 16:27:12 +0200 | haftmann | tuned interfaces of datatype module | file | diff | annotate |
Tue, 23 Jun 2009 12:09:30 +0200 | haftmann | uniformly capitialized names for subdirectories | file | diff | annotate | base |