src/Pure/Thy/markdown.ML
2015-10-14 wenzelm 2015-10-14 clarified;
2015-10-14 wenzelm 2015-10-14 minimal support for Markdown documents;