# HG changeset patch
# User wenzelm
# Date 1627122296 -7200
# Node ID 9ce319c846d9a05adb1db37a0d84e037952c5563
# Parent  54a11c37d5bc68e0b573309b804c717ac460e8c7
tuned comments;

diff -r 54a11c37d5bc -r 9ce319c846d9 src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Sat Jul 24 11:56:34 2021 +0200
+++ b/src/Pure/Tools/scala_project.scala	Sat Jul 24 12:24:56 2021 +0200
@@ -1,7 +1,8 @@
 /*  Title:      Pure/Tools/scala_project.scala
     Author:     Makarius
 
-Setup Gradle project for Isabelle/Scala/jEdit.
+Manage Isabelle/Scala/Java project sources, with output to Gradle for
+IntelliJ IDEA.
 */
 
 package isabelle