| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Thu, 25 Sep 2008 09:28:03 +0200 | haftmann | discontinued special treatment of op = vs. eq_class.eq | file | diff | annotate |
| Tue, 16 Sep 2008 09:21:24 +0200 | haftmann | evaluation using code generator | file | diff | annotate |