[isabelle-dev] JEdit FAILED

Makarius makarius at sketis.net
Sat Jun 28 16:18:59 CEST 2014

On Sat, 28 Jun 2014, Florian Haftmann wrote:

> Recently, mira test runs (e.g.
> http://isabelle.in.tum.de/reports/Isabelle/report/029386c2f6af4a1b9d716f5e9eb3728c)
> show an interesting behaviour:
> Any idea what is going on here?  Maybe jar cannot be found due to a bad
>>   1969 *** Cannot unzip jedit.jar

The problem here is the missing unzip executable on the test machine.


More information about the isabelle-dev mailing list