| Wed, 11 Feb 2009 15:05:25 +0100 | display code theorems with HOL equality | file | diff | annotate |
| Fri, 23 Jan 2009 10:21:48 +0100 | be more liberal with selected code statements | file | diff | annotate |
| Thu, 08 Jan 2009 10:53:48 +0100 | dded code_thm antiquotation | file | diff | annotate |
| Mon, 01 Dec 2008 12:16:59 +0100 | consider TeX spacing conventions for punctuation marks | file | diff | annotate |
| Mon, 10 Nov 2008 09:03:28 +0100 | clarified verbatim vs. typewriter | file | diff | annotate |
| Mon, 03 Nov 2008 14:15:25 +0100 | improved verbatim mechanism | file | diff | annotate |
| 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 |