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/Tools/build.ML
changeset 71875 aaa984499d36
parent 71669 12ebd8d0deee
child 71876 ad063ac1f617 
--- a/src/Pure/Tools/build.ML	Sun May 24 10:28:04 2020 +0200
+++ b/src/Pure/Tools/build.ML	Sun May 24 10:36:42 2020 +0200
@@ -184,7 +184,7 @@
     val symbols = HTML.make_symbols symbol_codes;
 
     val _ =
-      Resources.init_session_base
+      Resources.init_session
         {session_positions = session_positions,
          session_directories = session_directories,
          docs = doc_names,
isabelle