Fri, 02 Dec 2005 16:05:31 +0100 | haftmann | various improvements | file | diff | annotate |
Fri, 02 Dec 2005 08:06:59 +0100 | haftmann | introduced new map2, fold | file | diff | annotate |
Wed, 30 Nov 2005 18:13:31 +0100 | haftmann | minor improvements | file | diff | annotate |
Mon, 14 Nov 2005 15:15:34 +0100 | haftmann | class_package - operational view on type classes | file | diff | annotate |
Sun, 28 Aug 2005 10:05:03 +0200 | haftmann | (allocating new branch) | file | diff | annotate |