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.scala
changeset 66873 9953ae603a23
parent 66848 982baed14542
child 66943 351aaaa9bacd 
--- a/src/Pure/Tools/build.scala	Mon Oct 16 14:21:14 2017 +0200
+++ b/src/Pure/Tools/build.scala	Mon Oct 16 14:32:09 2017 +0200
@@ -537,7 +537,10 @@
                   build_log =
                     Build_Log.Log_File(name, process_result.out_lines).
                       parse_session_info(
-                        command_timings = true, ml_statistics = true, task_statistics = true),
+                        command_timings = true,
+                        theory_timings = true,
+                        ml_statistics = true,
+                        task_statistics = true),
                   build =
                     Session_Info(sources_stamp(deps, name), input_heaps, heap_stamp,
                       process_result.rc)))
isabelle