Stream: General

Topic: Compiling jEdit

view this post on Zulip Gergely Buday (Apr 11 2023 at 08:20):

I would like to make some custom modifications to Isabelle/jEdit.

What is the process of recompiling it inside the Isabelle bundle tree, in Isabelle2022 in the


directory, so that command

$ isabelle jedit

would start my custom version?

Last updated: Dec 07 2023 at 08:19 UTC