src/Pure/Build/build.scala

       }
     if (strict && rc != Process_Result.RC.ok) error("Failed to build Isabelle/" + logic) else rc
   }
 
 
-  /* command-line wrapper */
+  /* Isabelle tool wrappers */
 
   val isabelle_tool1 = Isabelle_Tool("build", "build and manage Isabelle sessions",
     Scala_Project.here,
     { args =>
       var afp_root: Option[Path] = None

     }
     if (errors.nonEmpty) error(cat_lines(errors.toList))
   }
 
 
-  /* command-line wrapper */
+  /* Isabelle tool wrapper */
 
   val isabelle_tool4 = Isabelle_Tool("build_log", "print messages from session build database",
     Scala_Project.here,
     { args =>
       /* arguments */