# HG changeset patch
# User wenzelm
# Date 1708079111 -3600
# Node ID 4d81c0391da2af63638fa10be8eb7e288f429f6a
# Parent  e349a274a9328e3c6c212863b407b6eb77c79dd0
tuned comments;

diff -r e349a274a932 -r 4d81c0391da2 src/Pure/Admin/component_e.scala
--- 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 =
diff -r e349a274a932 -r 4d81c0391da2 src/Pure/Admin/component_hugo.scala
--- 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 =>
diff -r e349a274a932 -r 4d81c0391da2 src/Pure/Admin/component_spass.scala
--- 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 =
diff -r e349a274a932 -r 4d81c0391da2 src/Pure/Build/build.scala
--- 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,
diff -r e349a274a932 -r 4d81c0391da2 src/Pure/Build/build_schedule.scala
--- 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 =>