src/Doc/Isar_Ref/Synopsis.thy
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c;
2015-10-20 wenzelm 2015-10-20 isabelle update_cartouches -t;
2015-10-18 wenzelm 2015-10-18 more control symbols;
2015-10-16 wenzelm 2015-10-16 Markdown support in document text;
2015-10-12 wenzelm 2015-10-12 more symbols;
2014-10-07 wenzelm 2014-10-07 more cartouches;
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'
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485