HomeIsabelle/Phabricator
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.

Written by makarius on Jan 15 2020, 3:34 PM.
User
Projects
None
Subscribers
None

Event Timeline