[isabelle-dev] AFP failure in Lam-ml-Normalization

Alexander Krauss krauss at in.tum.de
Thu Nov 17 21:33:03 CET 2011

> 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:




More information about the isabelle-dev mailing list