Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sat, 06 May 2017 20:00:08 +0200
changeset 65745 a124fbf8b2b9
parent 65744 92028ab1c3d7
child 65746 dead16007097
tuned;
src/Pure/Admin/build_status.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_status.scala	Sat May 06 19:42:49 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Sat May 06 20:00:08 2017 +0200
@@ -267,9 +267,8 @@
       val progress = new Console_Progress
 
       val data =
-        read_data(options, profiles = standard_profiles, progress = progress,
-          history_length = history_length, only_sessions = only_sessions,
-          elapsed_threshold = elapsed_threshold)
+        read_data(options, progress = progress, history_length = history_length,
+          only_sessions = only_sessions, elapsed_threshold = elapsed_threshold)
 
       present_data(data, progress = progress, target_dir = target_dir,
         image_size = image_size, ml_timing = ml_timing)
isabelle