Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/resources.ML
changeset 61379 c57820ceead3
parent 59718 5d0c539537c9
child 61381 ddca85598c65 
--- a/src/Pure/PIDE/resources.ML	Fri Oct 09 20:26:03 2015 +0200
+++ b/src/Pure/PIDE/resources.ML	Fri Oct 09 21:16:00 2015 +0200
@@ -159,7 +159,7 @@
     fun init () =
       begin_theory master_dir header parents
       |> Present.begin_theory update_time
-          (fn () => HTML.html_mode (implode o map (Thy_Syntax.present_span keywords)) spans);
+        (fn () => implode (map (HTML.present_span keywords) spans));
 
     val (results, thy) =
       cond_timeit true ("theory " ^ quote name)
isabelle