*** 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
