src/Pure/PIDE/resources.ML

     val _ = check_path strict ctxt dir (name, pos);
   in
     space_explode "/" name
     |> map Latex.output_ascii
     |> space_implode (Latex.output_ascii "/" ^ "\\discretionary{}{}{}")
-    |> Thy_Output.enclose_isabelle_tt ctxt
+    |> enclose "\\isatt{" "}"
   end;
 
 in
 
 val _ = Theory.setup