src/Doc/Codegen/Setup.thy
2017-08-18 wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2015-11-14 haftmann 2015-11-14 coalesce permanent_interpretation.ML with interpretation.ML
2015-09-09 wenzelm 2015-09-09 eliminated \<Colon> from syntax of constraints;
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
2015-01-09 haftmann 2015-01-09 prefer option for default code printing width
2014-03-21 wenzelm 2014-03-21 tuned signature;
2014-03-21 wenzelm 2014-03-21 tuned signature;
2014-03-18 wenzelm 2014-03-18 clarifed module name;
2014-03-12 wenzelm 2014-03-12 modernized setup;
2014-03-12 wenzelm 2014-03-12 some document antiquotations for Isabelle/jEdit elements; modernized theory setup;
2013-02-15 haftmann 2013-02-15 dropped now obsolete hint; a few words on theory IArray; dropped reference to obsolete theory Efficient_Nat
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;