src/HOL/Tools/string_code.ML
2016-03-12 haftmann 2016-03-12 model characters directly as range 0..255 * * * operate on syntax terms rather than asts
2014-02-01 wenzelm 2014-02-01 proper context for printing;
2014-01-25 haftmann 2014-01-25 avoid (now superfluous) indirect passing of constant names
2014-01-25 haftmann 2014-01-25 prefer explicit code symbol type over ad-hoc name mangling
2013-06-23 haftmann 2013-06-23 migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
2013-02-15 haftmann 2013-02-15 systematic conversions between nat and nibble/char; more uniform approaches to execute operations on nibble/char
2012-06-05 haftmann 2012-06-05 prefer records with speaking labels over deeply nested tuples
2010-08-31 haftmann 2010-08-31 more coherent naming of syntax data structures
2010-07-19 haftmann 2010-07-19 distinguish different classes of const syntax
2010-07-08 haftmann 2010-07-08 tuned titles
2009-12-04 haftmann 2009-12-04 more speaking function names for Code_Printer; added doublesemicolon
2009-05-19 haftmann 2009-05-19 String.literal replaces message_string, code_numeral replaces (code_)index
2009-05-06 haftmann 2009-05-06 proper structures for list and string code generation stuff