doc-src/more_antiquote.ML
Sun, 14 Mar 2010 14:10:21 +0100 wenzelm localized @{class} and @{type};
Sat, 20 Feb 2010 07:52:06 +0100 haftmann adjusted to changes in cs b987b803616d
Thu, 14 Jan 2010 09:18:08 +0100 haftmann adjusted to changes in code equation administration
Fri, 11 Dec 2009 20:32:49 +0100 haftmann option width for Code_Target.code_of
Wed, 24 Jun 2009 21:28:02 +0200 wenzelm renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported);
Thu, 14 May 2009 15:09:48 +0200 haftmann merged module code_unit.ML into code.ML
Thu, 14 May 2009 08:22:06 +0200 haftmann adapted code tutorial to recent changes in code
Sat, 25 Apr 2009 08:34:30 +0200 haftmann adjusted to change in code_wellsorted.ML
Mon, 09 Mar 2009 20:34:11 +0100 wenzelm moved @{ML_functor} and @{ML_text} to Pure;
Mon, 02 Mar 2009 16:58:39 +0100 haftmann reduced confusion code_funcgr vs. code_wellsorted
Wed, 11 Feb 2009 15:05:25 +0100 haftmann display code theorems with HOL equality
Fri, 23 Jan 2009 10:21:48 +0100 haftmann be more liberal with selected code statements
Thu, 08 Jan 2009 10:53:48 +0100 haftmann dded code_thm antiquotation
Mon, 01 Dec 2008 12:16:59 +0100 haftmann consider TeX spacing conventions for punctuation marks
Mon, 10 Nov 2008 09:03:28 +0100 haftmann clarified verbatim vs. typewriter
Mon, 03 Nov 2008 14:15:25 +0100 haftmann improved verbatim mechanism
Fri, 24 Oct 2008 10:41:13 +0200 haftmann explicit namings for generated code
Fri, 17 Oct 2008 10:14:12 +0200 haftmann added type antiquotation
Thu, 02 Oct 2008 17:18:22 +0200 haftmann corrected class antiquotation
Wed, 01 Oct 2008 08:42:42 +0200 haftmann added more_antiquote.ML
less more (0) tip