src/Pure/PIDE/resources.ML
changeset 61379 c57820ceead3
parent 59718 5d0c539537c9
child 61381 ddca85598c65
     1.1 --- a/src/Pure/PIDE/resources.ML	Fri Oct 09 20:26:03 2015 +0200
     1.2 +++ b/src/Pure/PIDE/resources.ML	Fri Oct 09 21:16:00 2015 +0200
     1.3 @@ -159,7 +159,7 @@
     1.4      fun init () =
     1.5        begin_theory master_dir header parents
     1.6        |> Present.begin_theory update_time
     1.7 -          (fn () => HTML.html_mode (implode o map (Thy_Syntax.present_span keywords)) spans);
     1.8 +        (fn () => implode (map (HTML.present_span keywords) spans));
     1.9  
    1.10      val (results, thy) =
    1.11        cond_timeit true ("theory " ^ quote name)