--- a/src/Pure/Thy/thy_output.ML Sun Oct 23 12:34:39 2016 +0200
+++ b/src/Pure/Thy/thy_output.ML Sun Oct 23 12:35:48 2016 +0200
@@ -215,7 +215,7 @@
output_antiquotes (Markdown.line_content line);
fun output_blocks blocks = space_implode "\n\n" (map output_block blocks)
- and output_block (Markdown.Paragraph lines) = cat_lines (map output_line lines)
+ and output_block (Markdown.Par lines) = cat_lines (map output_line lines)
| output_block (Markdown.List {kind, body, ...}) =
Latex.environment (Markdown.print_kind kind) (output_blocks body);
in