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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
