src/Pure/Thy/thy_output.ML
changeset 56034 1c59b555ac4a
parent 56032 b034b9f0fa2a
child 56052 4873054cd1fc
     1.1 --- a/src/Pure/Thy/thy_output.ML	Mon Mar 10 20:27:08 2014 +0100
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Mon Mar 10 21:15:29 2014 +0100
     1.3 @@ -675,6 +675,7 @@
     1.4  val _ = Theory.setup
     1.5    (antiquotation (Binding.name "url") (Scan.lift (Parse.position Parse.name))
     1.6      (fn {context = ctxt, ...} => fn (name, pos) =>
     1.7 -      (Context_Position.report ctxt pos (Markup.url name); enclose "\\url{" "}" name)));
     1.8 +      (Context_Position.reports ctxt [(pos, Markup.language_path), (pos, Markup.url name)];
     1.9 +       enclose "\\url{" "}" name)));
    1.10  
    1.11  end;