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 whitespace;
authorwenzelm
Sat, 04 Nov 2023 16:56:54 +0100
changeset 78899 224aabe156f5
parent 78898 c93efa4b2a50
child 78900 9f7a94117666
tuned whitespace;
src/Pure/Admin/build_status.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_status.scala	Sat Nov 04 16:48:51 2023 +0100
+++ b/src/Pure/Admin/build_status.scala	Sat Nov 04 16:56:54 2023 +0100
@@ -62,7 +62,8 @@
 
       Build_Log.private_data.universal_table.select(columns, distinct = true, sql =
         SQL.where_and(
-          Build_Log.private_data.pull_date(afp).ident + " > " + Build_Log.private_data.recent_time(days(options)),
+          Build_Log.private_data.pull_date(afp).ident + " > " +
+            Build_Log.private_data.recent_time(days(options)),
           Build_Log.private_data.status.member(
             List(
               Build_Log.Session_Status.finished.toString,
isabelle