Command-line tool "isabelle scala_project"
- 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.
Written by makarius on Jan 15 2020, 3:34 PM.