| Thu, 15 Oct 2015 16:37:14 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 15 Oct 2015 16:30:54 +0200 | wenzelm | clarified line content: source without marker prefix; | changeset | files |
| Thu, 15 Oct 2015 16:12:38 +0200 | wenzelm | more markup; | changeset | files |
| Thu, 15 Oct 2015 15:06:03 +0200 | wenzelm | report Markdown document structure; | changeset | files |