[isabelle-dev] Build of session JEdit requires previous build of Isabelle/jEdit itself

[Florian Haftmann]

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).

	Florian

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210123/ea9fc533/attachment.sig>