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/update.scala
changeset 73340 0ffcad1f6130
parent 72842 6aae62f55c2b
child 75161 95612f330c93 
--- a/src/Pure/Tools/update.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/Tools/update.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -14,7 +14,7 @@
     log: Logger = No_Logger,
     dirs: List[Path] = Nil,
     select_dirs: List[Path] = Nil,
-    selection: Sessions.Selection = Sessions.Selection.empty)
+    selection: Sessions.Selection = Sessions.Selection.empty): Unit =
   {
     val context =
       Dump.Context(options, progress = progress, dirs = dirs, select_dirs = select_dirs,
isabelle