src/Pure/Tools/build.ML

     global_theories, loaded_theories, known_theories}) =
   let
     val symbols = HTML.make_symbols symbol_codes;
 
     val _ =
-      Resources.set_session_base
+      Resources.init_session_base
         {default_qualifier = name,
          global_theories = global_theories,
          loaded_theories = loaded_theories,
          known_theories = known_theories};
 

         (List.app (build_theories symbols last_timing name master_dir)
           |> session_timing name verbose
           |> Exn.capture);
     val res2 = Exn.capture Session.finish ();
 
-    val _ = Resources.reset_session_base ();
+    val _ = Resources.finish_session_base ();
     val _ = Par_Exn.release_all [res1, res2];
   in () end;
 
 (*command-line tool*)
 fun build args_file =