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
|