| Fri, 16 Dec 2022 18:11:03 +0100 | nipkow | Added section about code generation for partial functions | file | diff | annotate |
| Thu, 03 Jul 2014 16:42:15 +0200 | nipkow | Tail recursion no longer supported by "function". | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |