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 50982 a7aa17a1f721
parent 50975 73ec6ad6700e
child 51045 630c0895d9d1 
--- a/src/Pure/Tools/build.ML	Fri Jan 18 22:38:34 2013 +0100
+++ b/src/Pure/Tools/build.ML	Fri Jan 18 23:33:17 2013 +0100
@@ -98,6 +98,7 @@
           [] => ()
         | dups => error ("Duplicate document variants: " ^ commas_quote dups));
 
+      val _ = writeln ("\fSession.name = " ^ name);
       val _ =
         (case Session.path () of
           [] => ()
isabelle