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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
