Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/lexicon.ML
changeset 69320 fc221fa79741
parent 69042 6e9df530b441
child 69344 f87fdd8d2baf 
--- a/src/Pure/Syntax/lexicon.ML	Tue Nov 20 13:46:13 2018 +0100
+++ b/src/Pure/Syntax/lexicon.ML	Wed Nov 21 14:33:30 2018 +0100
@@ -210,7 +210,7 @@
   | Str => Markup.inner_string
   | String => Markup.inner_string
   | Cartouche => Markup.inner_cartouche
-  | Comment _ => Markup.inner_comment
+  | Comment _ => Markup.comment1
   | _ => Markup.empty;
 
 fun report_of_token tok =
isabelle