src/Pure/Thy/markdown.ML
2016-10-23 wenzelm 2016-10-23 tuned signature: avoid conflict with "paragraph" as section heading;
2016-04-01 wenzelm 2016-04-01 tuned signature;
2016-03-06 wenzelm 2016-03-06 clarified treatment of fragments of Isabelle symbols during bootstrap;
2015-11-06 wenzelm 2015-11-06 more formal treatment of control symbols;
2015-10-17 wenzelm 2015-10-17 more explicit output of list items;
2015-10-17 wenzelm 2015-10-17 tuned;
2015-10-17 wenzelm 2015-10-17 clarified nesting of paragraphs: indentation is taken into account more uniformly; tuned;
2015-10-16 wenzelm 2015-10-16 clarified Antiquote.antiq_reports; Thy_Output.output_text: support for markdown (inactive); eliminared Thy_Output.check_text -- uniform use of Thy_Output.output_text;
2015-10-15 wenzelm 2015-10-15 load markdown.ML into Pure;
2015-10-15 wenzelm 2015-10-15 proper recursive nesting of adjacent lists;
2015-10-15 wenzelm 2015-10-15 tuned;
2015-10-15 wenzelm 2015-10-15 clarified line content: source without marker prefix;
2015-10-15 wenzelm 2015-10-15 more markup;
2015-10-15 wenzelm 2015-10-15 report Markdown document structure;
2015-10-15 wenzelm 2015-10-15 more comments;
2015-10-15 wenzelm 2015-10-15 proper nesting of adjacent lists;
2015-10-15 wenzelm 2015-10-15 more document structure; tuned signature;
2015-10-14 wenzelm 2015-10-14 more document structure;
2015-10-14 wenzelm 2015-10-14 more document structure;
2015-10-14 wenzelm 2015-10-14 clarified;
2015-10-14 wenzelm 2015-10-14 minimal support for Markdown documents;