--- a/src/Pure/Build/build.scala Fri Feb 16 11:15:43 2024 +0100
+++ b/src/Pure/Build/build.scala Fri Feb 16 11:25:11 2024 +0100
@@ -308,7 +308,7 @@
}
- /* command-line wrapper */
+ /* Isabelle tool wrappers */
val isabelle_tool1 = Isabelle_Tool("build", "build and manage Isabelle sessions",
Scala_Project.here,
@@ -861,7 +861,7 @@
}
- /* command-line wrapper */
+ /* Isabelle tool wrapper */
val isabelle_tool4 = Isabelle_Tool("build_log", "print messages from session build database",
Scala_Project.here,