| changeset 71378 | 820cf124dced |
| parent 71343 | 7a53175fb0f4 |
| child 71427 | 66a06a55c00c |
--- a/NEWS Wed Jan 15 13:22:16 2020 +0100 +++ b/NEWS Wed Jan 15 15:05:33 2020 +0100 @@ -110,6 +110,10 @@ *** System *** +* The command-line tool "isabelle scala_project" creates a Gradle +project configuration for Isabelle/Scala/jEdit, to support Scala IDEs +such as IntelliJ IDEA. + * Old settings variables ISABELLE_PLATFORM and ISABELLE_WINDOWS_PLATFORM have been discontinued -- deprecated since Isabelle2018.