src/Doc/Isar_Ref/Proof_Script.thy
2016-02-07 wenzelm 2016-02-07 tuned;
2015-12-19 wenzelm 2015-12-19 tuned;
2015-11-13 wenzelm 2015-11-13 tuned whitespace;
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;
2015-10-18 wenzelm 2015-10-18 more control symbols;
2015-10-16 wenzelm 2015-10-16 Markdown support in document text;
2015-10-14 wenzelm 2015-10-14 more symbols;
2015-07-02 wenzelm 2015-07-02 documentation for 'subgoal' command;
2015-06-15 wenzelm 2015-06-15 moved sections;