Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified markup;
authorwenzelm
Sun, 24 Mar 2019 19:17:42 +0100
changeset 69971 4e98239aa083
parent 69970 b5a47478897a
child 69972 5e82015fa879
clarified markup;
src/Pure/Syntax/syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/syntax.ML	Sun Mar 24 18:38:42 2019 +0100
+++ b/src/Pure/Syntax/syntax.ML	Sun Mar 24 19:17:42 2019 +0100
@@ -202,7 +202,9 @@
         val source = input_source tree;
         val syms = Input.source_explode source;
         val pos = Input.pos_of source;
-        val _ = Context_Position.report ctxt pos (markup (Input.is_delimited source));
+        val _ =
+          Context_Position.reports ctxt
+            [(pos, Markup.cartouche), (pos, markup (Input.is_delimited source))];
         val _ =
           if Options.default_bool "update_inner_syntax_cartouches" then
             Context_Position.report_text ctxt
isabelle