--- a/src/Pure/Admin/component_e.scala Fri Feb 16 11:15:43 2024 +0100
+++ b/src/Pure/Admin/component_e.scala Fri Feb 16 11:25:11 2024 +0100
@@ -100,6 +100,7 @@
}
}
+
/* Isabelle tool wrapper */
val isabelle_tool =
--- a/src/Pure/Admin/component_hugo.scala Fri Feb 16 11:15:43 2024 +0100
+++ b/src/Pure/Admin/component_hugo.scala Fri Feb 16 11:25:11 2024 +0100
@@ -91,6 +91,9 @@
""" + Date.Format.date(Date.now()) + "\n")
}
+
+ /* Isabelle tool wrapper */
+
val isabelle_tool =
Isabelle_Tool("component_hugo", "build hugo component", Scala_Project.here,
{ args =>
--- a/src/Pure/Admin/component_spass.scala Fri Feb 16 11:15:43 2024 +0100
+++ b/src/Pure/Admin/component_spass.scala Fri Feb 16 11:25:11 2024 +0100
@@ -138,6 +138,7 @@
}
}
+
/* Isabelle tool wrapper */
val isabelle_tool =
--- 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,
--- a/src/Pure/Build/build_schedule.scala Fri Feb 16 11:15:43 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala Fri Feb 16 11:25:11 2024 +0100
@@ -1505,7 +1505,7 @@
}
- /* command-line wrapper */
+ /* Isabelle tool wrapper */
val isabelle_tool = Isabelle_Tool("build_schedule", "generate build schedule", Scala_Project.here,
{ args =>