On Fri, 12 Jun 2015, Larry Paulson wrote:
All the documentation is failing for some reason. Does anybody know what is going on?
I think it is still the same problem as a few days ago: missing libjpeg.so on some test machines. The local admins already know about it, but did not find time yet to update the machines.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
