| Tue, 30 Oct 2018 15:45:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 03 Feb 2018 20:34:26 +0100 |
wenzelm |
more uniform treatment of formal comments within document source;
|
file |
diff |
annotate
|
| Sun, 28 Jan 2018 19:28:52 +0100 |
wenzelm |
clarified take/drop/chop prefix/suffix;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 11:26:31 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 03 Jan 2018 20:55:13 +0100 |
wenzelm |
HTML output for Markdown elements;
|
file |
diff |
annotate
|
| Tue, 02 Jan 2018 19:52:17 +0100 |
wenzelm |
PIDE markup for Markdown items (which may consist of multiple paragraphs or lists);
|
file |
diff |
annotate
|
| Tue, 02 Jan 2018 15:38:22 +0100 |
wenzelm |
clarified terminology of "markdown_bullet";
|
file |
diff |
annotate
|
| Sun, 23 Oct 2016 12:35:48 +0200 |
wenzelm |
tuned signature: avoid conflict with "paragraph" as section heading;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 18:56:31 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 06 Mar 2016 16:19:02 +0100 |
wenzelm |
clarified treatment of fragments of Isabelle symbols during bootstrap;
|
file |
diff |
annotate
|
| Fri, 06 Nov 2015 23:31:50 +0100 |
wenzelm |
more formal treatment of control symbols;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2015 19:47:34 +0200 |
wenzelm |
more explicit output of list items;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2015 19:32:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2015 19:26:34 +0200 |
wenzelm |
clarified nesting of paragraphs: indentation is taken into account more uniformly;
|
file |
diff |
annotate
|
| Fri, 16 Oct 2015 10:11:20 +0200 |
wenzelm |
clarified Antiquote.antiq_reports;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 17:29:37 +0200 |
wenzelm |
load markdown.ML into Pure;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 16:44:25 +0200 |
wenzelm |
proper recursive nesting of adjacent lists;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 16:37:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 16:30:54 +0200 |
wenzelm |
clarified line content: source without marker prefix;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 16:12:38 +0200 |
wenzelm |
more markup;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 15:06:03 +0200 |
wenzelm |
report Markdown document structure;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 13:48:47 +0200 |
wenzelm |
more comments;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 13:28:36 +0200 |
wenzelm |
proper nesting of adjacent lists;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 12:43:02 +0200 |
wenzelm |
more document structure;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 21:18:37 +0200 |
wenzelm |
more document structure;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 19:44:43 +0200 |
wenzelm |
more document structure;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 18:29:41 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 17:24:21 +0200 |
wenzelm |
minimal support for Markdown documents;
|
file |
diff |
annotate
|