Command-line tool "isabelle scala_project"
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.
- Projects
- None
- Subscribers
- None