src/Pure/PIDE/resources.ML

--- a/src/Pure/PIDE/resources.ML	Mon Oct 20 14:11:14 2014 +0200
+++ b/src/Pure/PIDE/resources.ML	Mon Oct 20 16:52:36 2014 +0200
@@ -222,8 +222,9 @@
     val _ = check_path strict ctxt dir (name, pos);
   in
     space_explode "/" name
-    |> map Thy_Output.verb_text
-    |> space_implode (Thy_Output.verb_text "/" ^ "\\discretionary{}{}{}")
+    |> map Latex.output_ascii
+    |> space_implode (Latex.output_ascii "/" ^ "\\discretionary{}{}{}")
+    |> Thy_Output.enclose_isabelle_tt ctxt
   end;
 
 in