src/Doc/Isar_Ref/Quick_Reference.thy
2016-07-20 wenzelm 2016-07-20 clarified imports; tuned;
2016-06-14 wenzelm 2016-06-14 tuned;
2016-06-13 wenzelm 2016-06-13 tuned;
2016-06-12 wenzelm 2016-06-12 tuned;
2016-06-11 wenzelm 2016-06-11 clarified;
2016-06-11 wenzelm 2016-06-11 clarified syntax;
2016-04-24 wenzelm 2016-04-24 added Isar command 'define';
2016-02-15 wenzelm 2016-02-15 proper syntax;
2016-02-10 wenzelm 2016-02-10 misc tuning and updates;
2016-02-07 wenzelm 2016-02-07 misc tuning and updates;
2016-02-07 wenzelm 2016-02-07 clarified old forms;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-10-20 wenzelm 2015-10-20 isabelle update_cartouches -t;
2015-10-18 wenzelm 2015-10-18 more control symbols;
2015-10-12 wenzelm 2015-10-12 more symbols;
2015-06-30 wenzelm 2015-06-30 renamed "default" to "standard", to make semantically clear what it is;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-07-01 wenzelm 2014-07-01 tuned;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485