# HG changeset patch
# User wenzelm
# Date 1657312235 -7200
# Node ID 2d153e052aea1d9b70cecd47b1fd27bf246c9c30
# Parent  45d3497c0baa3ef65934b7b05f299e8c0d498991
tuned comments;

diff -r 45d3497c0baa -r 2d153e052aea src/Pure/Tools/scala_build.scala
--- a/src/Pure/Tools/scala_build.scala	Fri Jul 08 22:29:26 2022 +0200
+++ b/src/Pure/Tools/scala_build.scala	Fri Jul 08 22:30:35 2022 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Tools/scala_build.scala
     Author:     Makarius
 
-Manage and build Isabelle/Scala/Java components.
+Manage and build Isabelle/Scala/Java modules.
 */
 
 package isabelle