src/Pure/Thy/markdown.ML
Sun, 23 Oct 2016 12:35:48 +0200 wenzelm tuned signature: avoid conflict with "paragraph" as section heading;
Fri, 01 Apr 2016 18:56:31 +0200 wenzelm tuned signature;
Sun, 06 Mar 2016 16:19:02 +0100 wenzelm clarified treatment of fragments of Isabelle symbols during bootstrap;
Fri, 06 Nov 2015 23:31:50 +0100 wenzelm more formal treatment of control symbols;
Sat, 17 Oct 2015 19:47:34 +0200 wenzelm more explicit output of list items;
Sat, 17 Oct 2015 19:32:01 +0200 wenzelm tuned;
Sat, 17 Oct 2015 19:26:34 +0200 wenzelm clarified nesting of paragraphs: indentation is taken into account more uniformly;
Fri, 16 Oct 2015 10:11:20 +0200 wenzelm clarified Antiquote.antiq_reports;
Thu, 15 Oct 2015 17:29:37 +0200 wenzelm load markdown.ML into Pure;
Thu, 15 Oct 2015 16:44:25 +0200 wenzelm proper recursive nesting of adjacent lists;
Thu, 15 Oct 2015 16:37:14 +0200 wenzelm tuned;
Thu, 15 Oct 2015 16:30:54 +0200 wenzelm clarified line content: source without marker prefix;
Thu, 15 Oct 2015 16:12:38 +0200 wenzelm more markup;
Thu, 15 Oct 2015 15:06:03 +0200 wenzelm report Markdown document structure;
Thu, 15 Oct 2015 13:48:47 +0200 wenzelm more comments;
Thu, 15 Oct 2015 13:28:36 +0200 wenzelm proper nesting of adjacent lists;
Thu, 15 Oct 2015 12:43:02 +0200 wenzelm more document structure;
Wed, 14 Oct 2015 21:18:37 +0200 wenzelm more document structure;
Wed, 14 Oct 2015 19:44:43 +0200 wenzelm more document structure;
Wed, 14 Oct 2015 18:29:41 +0200 wenzelm clarified;
Wed, 14 Oct 2015 17:24:21 +0200 wenzelm minimal support for Markdown documents;
less more (0) tip