# HG changeset patch
# User wenzelm
# Date 1658499291 -7200
# Node ID 598994a2d339743bf57d115110fb5e5ac1c7bf26
# Parent  c8dc5d1adc7bfb3b39619d21ce832811d1de057f
tuned;

diff -r c8dc5d1adc7b -r 598994a2d339 src/Doc/System/Scala.thy
--- a/src/Doc/System/Scala.thy	Fri Jul 22 15:28:56 2022 +0200
+++ b/src/Doc/System/Scala.thy	Fri Jul 22 16:14:51 2022 +0200
@@ -256,7 +256,7 @@
   Option \<^verbatim>\<open>-q\<close> suppresses all output on stdout/stderr produced by the Scala or
   Java compiler.
 
-  \<^medskip> Explicit invocation of \<^verbatim>\<open>isabelle scala_build\<close> mainly serves testing or
+  \<^medskip> Explicit invocation of @{tool scala_build} mainly serves testing or
   applications with special options: the Isabelle system normally does an
   automatic the build on demand.
 \<close>