retesting the same revisions that just worked two days ago, now yields an error, cf. http://isabelle.in.tum.de/reports/Isabelle/rev/6975db7fd6f0. The system configuration (probably of LaTeX) must have changed in past few days. We will have to investigate that further.
I don't have the issue on my machine (yet), but maybe this solves it: http://afp.hg.sourceforge.net/hgweb/afp/afp/rev/4f0607411284 :-) Alex _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
