| Fri, 24 Oct 2008 10:41:13 +0200 | explicit namings for generated code | file | diff | annotate |
| Fri, 17 Oct 2008 10:14:12 +0200 | added type antiquotation | file | diff | annotate |
| Thu, 02 Oct 2008 17:18:22 +0200 | corrected class antiquotation | file | diff | annotate |
| Wed, 01 Oct 2008 08:42:42 +0200 | added more_antiquote.ML | file | diff | annotate |