[isabelle-dev] NEWS: isabelle scala_project for IntelliJ IDEA

[Makarius]

*** 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.


This refers to Isabelle/820cf124dced. It introduces a new quality of
browsing/editing Isabelle/Scala/jEdit sources.


See also
https://isabelle-dev.sketis.net/phame/post/view/4/command-line_tool_isabelle_scala_project/


	Makarius