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/check_keywords.scala
changeset 73340 0ffcad1f6130
parent 67880 e59220a075de
child 75393 87ebf5a50283 
--- a/src/Pure/Tools/check_keywords.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/Tools/check_keywords.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -35,7 +35,7 @@
     progress: Progress,
     keywords: Keyword.Keywords,
     check: Set[String],
-    paths: List[Path])
+    paths: List[Path]): Unit =
   {
     val parallel_args = paths.map(path => (File.read(path), Token.Pos.file(path.expand.implode)))
isabelle