[isabelle-dev] JEdit FAILED

[Makarius]

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
> PATH?
>>
>>   1969 *** Cannot unzip jedit.jar

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


 	Makarius