--- a/src/Pure/Thy/thy_output.ML Mon Mar 10 20:27:08 2014 +0100
+++ b/src/Pure/Thy/thy_output.ML Mon Mar 10 21:15:29 2014 +0100
@@ -675,6 +675,7 @@
val _ = Theory.setup
(antiquotation (Binding.name "url") (Scan.lift (Parse.position Parse.name))
(fn {context = ctxt, ...} => fn (name, pos) =>
- (Context_Position.report ctxt pos (Markup.url name); enclose "\\url{" "}" name)));
+ (Context_Position.reports ctxt [(pos, Markup.language_path), (pos, Markup.url name)];
+ enclose "\\url{" "}" name)));
end;