[isabelle-dev] Build of session JEdit requires previous build of Isabelle/jEdit itself
makarius at sketis.net
Sat Jan 23 13:51:27 CET 2021
On 23/01/2021 10:24, Florian Haftmann wrote:
> JEdit FAILED
> (see also
> *** Cannot unzip jedit.jar
> *** return code = 9
> *** At command "text" (line 162 of "~~/src/Doc/JEdit/JEdit.thy")
> (This applies to 0398f18ec76c, but very likely also to the RC, but the
> issues seems not pressing enought to me there).
The same happens in Isabelle2020, and earlier.
Note that this is only relevant to bootstrap a distribution. The standard
procedure for that is to sprinkle "isabelle jedit -b" generously into various
Next time, I could just make Isabelle/jEdit an integral part of
Isabelle/Scala: like Isabelle/VSCode and other add-ons are already today.
More information about the isabelle-dev