Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] isabelle scala_project and Gradle / IntelliJ s...

view this post on Zulip Email Gateway (Feb 11 2021 at 13:44):

From: Makarius <>
More side-remarks (implicitly related to Isabelle2021).

I keep telling the story about "isabelle scala_project" for a while, which
also has a bit of documentation in the "system" manual. So far, there was
never any feedback like "I've tried it, and it is great", or "... it lacks
important aspects like supporting a user-defined project".

I somehow guess that most Isabelle tool developers find IntelliJ IDEA too
scary. Or there might be other reasons that are kept secret and thus there is
no way to address them.

I also guess that people who want to combine Isabelle with other tools often
start with the mindset "python + vi" as the development environment --- but
that is really external to Isabelle, and will make things more complicated
than necessary.

So this is an encouragement to try out IntelliJ IDEA + "isabelle
scala_project" + maybe some symlinks in the Gradle project to your own sources
-- like I did for the Scala part of Isabelle/Naproche recently.


Last updated: Jan 25 2022 at 01:11 UTC