Gergely Buday (Apr 11 2023 at 08:20): 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
Isabelle2022/contrib/jedit-20211103/jedit5.6.0-patched/jEdit
directory, so that command
$ isabelle jedit
would start my custom version?
Last updated: May 02 2024 at 04:18 UTC