changeset 74054 | 9ce319c846d9 |
parent 74032 | c9ec6f03ab91 |
child 74055 | 0ee44ed80290 |
--- 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