# 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