
diff -r 5e8fd30caf43 -r c2305d9cca09 src/Doc/System/Scala.thy
--- a/src/Doc/System/Scala.thy	Thu Sep 04 12:23:18 2025 +0200
+++ b/src/Doc/System/Scala.thy	Thu Sep 04 12:38:20 2025 +0200
@@ -259,6 +259,7 @@
     -L           make symlinks to original source files
     -M           use Maven as build tool
     -f           force update of existing directory
+    -v           verbose
 
   Setup project for Isabelle/Scala/jEdit --- to support common IDEs such
   as IntelliJ IDEA. Either option -G or -M is mandatory to specify the
@@ -291,6 +292,9 @@
   \<^path>\<open>$ISABELLE_HOME_USER/scala_project\<close>. Option \<^verbatim>\<open>-f\<close> forces an existing
   project directory to be \<^emph>\<open>purged\<close> --- after some sanity checks that it has
   been generated by @{tool "scala_project"} before.
+
+  \<^medskip>
+  Option \<^verbatim>\<open>-v\<close> enables verbose mode.
 \<close>
 
 




