# HG changeset patch
# User wenzelm
# Date 1708076724 -3600
# Node ID 96bfb554b216425b964f299d54c59eb253e15046
# Parent  8e97d1fcbbc2524f4ba19d49e66d8430bab40ec5
tuned comments;

diff -r 8e97d1fcbbc2 -r 96bfb554b216 src/Pure/Build/build_benchmark.scala
--- a/src/Pure/Build/build_benchmark.scala	Fri Feb 16 10:31:50 2024 +0100
+++ b/src/Pure/Build/build_benchmark.scala	Fri Feb 16 10:45:24 2024 +0100
@@ -8,8 +8,10 @@
 
 
 object Build_Benchmark {
-  /* ZF-Constructible as representative benchmark session with short build time and requirements */
+  /* benchmark */
 
+  // ZF-Constructible as representative benchmark session with
+  // short build time and requirements
   val benchmark_session = "ZF-Constructible"
 
   def benchmark_command(
@@ -103,6 +105,9 @@
     }
   }
 
+
+  /* Isabelle tool wrapper */
+
   val isabelle_tool = Isabelle_Tool("build_benchmark", "run benchmark for build process",
     Scala_Project.here,
     { args =>