2016-08-12 wenzelm 2016-08-12 more symbols;
2016-08-11 wenzelm 2016-08-11 clarified antiquotations;
2015-09-13 wenzelm 2015-09-13 tuned proofs -- less legacy;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-07-23 wenzelm 2015-07-23 proper latex;
2015-02-05 haftmann 2015-02-05 more explicit hint on import order
2015-01-15 haftmann 2015-01-15 tuned
2015-01-15 haftmann 2015-01-15 modernized cartouches
2014-12-05 haftmann 2014-12-05 allow multiple inheritance of targets
2014-01-25 haftmann 2014-01-25 prefer explicit code symbol type over ad-hoc name mangling
2013-07-27 wenzelm 2013-07-27 more direct inclusion of tikz pictures;
2013-07-15 wenzelm 2013-07-15 prefer @{file} references that are actually checked;
2013-06-15 haftmann 2013-06-15 documentation on code_printing and code_identifier
2013-02-17 haftmann 2013-02-17 note on parallel computation
2013-02-17 haftmann 2013-02-17 corrected and clarified Code_Binary_Nat vs. Code_Target_Nat
2013-02-15 haftmann 2013-02-15 dropped now obsolete hint; a few words on theory IArray; dropped reference to obsolete theory Efficient_Nat
2013-02-15 haftmann 2013-02-15 systematic conversions between nat and nibble/char; more uniform approaches to execute operations on nibble/char
2013-02-15 haftmann 2013-02-15 two target language numeral types: integer and natural, as replacement for code_numeral; former theory HOL/Library/Code_Numeral_Types replaces HOL/Code_Numeral; refined stack of theories implementing int and/or nat by target language numerals; reduced number of target language numeral types to exactly one
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;