src/Doc/Codegen/Introduction.thy
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-01-15 haftmann 2015-01-15 separate image for prerequisites of codegen tutorial
2015-01-15 haftmann 2015-01-15 modernized cartouches
2015-01-10 haftmann 2015-01-10 avoid writing into source
2014-10-07 wenzelm 2014-10-07 more antiquotations;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-11 blanchet 2014-09-11 renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;