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

Makarius makarius at sketis.net
Wed Jan 15 15:35:34 CET 2020

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


More information about the isabelle-dev mailing list