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 65318 342efc382558
parent 65313 347ed6219dab
child 65431 4a3e6cda3b94 
--- 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
isabelle