isatest and afptest have the following symptom when they get to their isabelle build call:
Building Pure ... I/O error: /home/isatest/isabelle-at-poly/browser_info/isabelle.gif Finished at Sun Sep 30 00:26:55 CEST 2012 0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00 ------------------- test FAILED --- Sun Sep 30 00:26:55 CEST 2012 --- lxbroy2 Any ideas what's going on? Manual "isabelle build HOL" (or Pure) seem to work for me, but I can't figure out what the difference between the automated call and the manual one is. Also, isabelle.gif doesn't seem to be mentioned in any ROOT files. Cheers, Gerwin The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
