| Wed, 11 Feb 2009 15:05:25 +0100 | haftmann | display code theorems with HOL equality | file | diff | annotate |
| Fri, 23 Jan 2009 10:21:48 +0100 | haftmann | be more liberal with selected code statements | file | diff | annotate |
| Thu, 08 Jan 2009 10:53:48 +0100 | haftmann | dded code_thm antiquotation | file | diff | annotate |
| Mon, 01 Dec 2008 12:16:59 +0100 | haftmann | consider TeX spacing conventions for punctuation marks | file | diff | annotate |
| Mon, 10 Nov 2008 09:03:28 +0100 | haftmann | clarified verbatim vs. typewriter | file | diff | annotate |
| Mon, 03 Nov 2008 14:15:25 +0100 | haftmann | improved verbatim mechanism | file | diff | annotate |
| Fri, 24 Oct 2008 10:41:13 +0200 | haftmann | explicit namings for generated code | file | diff | annotate |
| Fri, 17 Oct 2008 10:14:12 +0200 | haftmann | added type antiquotation | file | diff | annotate |
| Thu, 02 Oct 2008 17:18:22 +0200 | haftmann | corrected class antiquotation | file | diff | annotate |
| Wed, 01 Oct 2008 08:42:42 +0200 | haftmann | added more_antiquote.ML | file | diff | annotate |