--- a/src/Pure/Tools/build.ML Sat Mar 18 22:11:05 2017 +0100
+++ b/src/Pure/Tools/build.ML Sun Mar 19 11:56:56 2017 +0100
@@ -168,7 +168,6 @@
let
val symbols = HTML.make_symbols symbol_codes;
- val _ = writeln ("\fSession.name = " ^ name);
val _ =
Session.init
symbols