| Sun, 08 Nov 2009 14:44:31 +0100 | wenzelm | added "declaration (pervasive)"; | file | diff | annotate |
| Thu, 02 Jul 2009 16:06:12 +0200 | haftmann | instance arities can be simultaneous | file | diff | annotate |
| Thu, 02 Jul 2009 16:00:28 +0200 | haftmann | updated generated files | file | diff | annotate |
| Wed, 17 Jun 2009 10:34:02 +0200 | haftmann | refined section concerning classes | file | diff | annotate |
| Wed, 06 May 2009 16:01:05 +0200 | haftmann | tuned description of overloading | file | diff | annotate |
| Mon, 16 Mar 2009 17:51:24 +0100 | wenzelm | updated generated file; | file | diff | annotate |
| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | updated generated files; | file | diff | annotate |