On 23/01/2021 10:24, Florian Haftmann wrote:
> JEdit FAILED
> (see also
> /home/haftmann/data/tum/isabelle/devel/heaps/polyml-5.8.2_x86_64_32-linux/log/JEdit)
> *** 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
build scripts.
Next time, I could just make Isabelle/jEdit an integral part of
Isabelle/Scala: like Isabelle/VSCode and other add-ons are already today.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
