[isabelle-dev] Fwd: isabelle test failed

Makarius makarius at sketis.net
Sun Jun 14 23:29:43 CEST 2015


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



More information about the isabelle-dev mailing list