doc-src/more_antiquote.ML
2010-03-14 wenzelm 2010-03-14 localized @{class} and @{type};
2010-02-20 haftmann 2010-02-20 adjusted to changes in cs b987b803616d
2010-01-14 haftmann 2010-01-14 adjusted to changes in code equation administration
2009-12-11 haftmann 2009-12-11 option width for Code_Target.code_of
2009-06-24 wenzelm 2009-06-24 renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported); renamed Variable.importT_thms to Variable.importT (again);
2009-05-14 haftmann 2009-05-14 merged module code_unit.ML into code.ML
2009-05-14 haftmann 2009-05-14 adapted code tutorial to recent changes in code
2009-04-25 haftmann 2009-04-25 adjusted to change in code_wellsorted.ML
2009-03-09 wenzelm 2009-03-09 moved @{ML_functor} and @{ML_text} to Pure; adapted to simplified ThyOutput.antiquotation interface; misc tuning;
2009-03-02 haftmann 2009-03-02 reduced confusion code_funcgr vs. code_wellsorted
2009-02-11 haftmann 2009-02-11 display code theorems with HOL equality
2009-01-23 haftmann 2009-01-23 be more liberal with selected code statements
2009-01-08 haftmann 2009-01-08 dded code_thm antiquotation
2008-12-01 haftmann 2008-12-01 consider TeX spacing conventions for punctuation marks
2008-11-10 haftmann 2008-11-10 clarified verbatim vs. typewriter
2008-11-03 haftmann 2008-11-03 improved verbatim mechanism
2008-10-24 haftmann 2008-10-24 explicit namings for generated code
2008-10-17 haftmann 2008-10-17 added type antiquotation
2008-10-02 haftmann 2008-10-02 corrected class antiquotation
2008-10-01 haftmann 2008-10-01 added more_antiquote.ML