src/Pure/General/comment.ML

--- a/src/Pure/General/comment.ML	Thu May 02 11:43:56 2019 +0200
+++ b/src/Pure/General/comment.ML	Thu May 02 14:05:59 2019 +0200
@@ -37,7 +37,7 @@
       markups = [Markup.language_latex true, Markup.raw_text]}),
    (Marker,
      {symbol = Symbol.marker, blanks = false,
-      markups = [Markup.language_document_marker]})];
+      markups = [Markup.language_document_marker, Markup.document_marker]})];
 
 val get_kind = the o AList.lookup (op =) kinds;
 val print_kind = quote o #symbol o get_kind;