src/Doc/Isar_Ref/Symbols.thy
2016-07-20 wenzelm 2016-07-20 clarified imports; tuned;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-10-22 wenzelm 2015-10-22 more control symbols; tuned;
2015-10-20 wenzelm 2015-10-20 isabelle update_cartouches -t;
2014-10-20 wenzelm 2014-10-20 more antiquotations; tuned spacing;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485