# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1737541415 -3600
# Node ID 794591b2ea97f76b665454276701880bc7dbf04f
# Parent  db9bf651701d6bb32da358247ec613f7d5d92ca9
clarified: more arguments;

diff -r db9bf651701d -r 794591b2ea97 src/Tools/Find_Facts/src/find_facts.scala
--- a/src/Tools/Find_Facts/src/find_facts.scala	Wed Jan 22 10:53:20 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Wed Jan 22 11:23:35 2025 +0100
@@ -585,11 +585,15 @@
     isabelle_home: Path = Path.current,
     options: List[Options.Spec] = Nil,
     dirs: List[Path] = Nil,
-    clean: Boolean = false
+    clean: Boolean = false,
+    no_build: Boolean = false,
+    verbose: Boolean = false,
   ): String = {
     ssh.bash_path(Isabelle_Tool.exe(isabelle_home)) + " find_facts_index" +
       dirs.map(dir => " -d " + ssh.bash_path(dir)).mkString +
       if_proper(clean, " -c") +
+      if_proper(no_build, " -n") +
+      if_proper(verbose, " -v") +
       Options.Spec.bash_strings(options, bg = true) +
       sessions.map(session => " " + session).mkString
   }