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

Lukas Bulwahn bulwahn at in.tum.de
Thu Nov 17 19:26:58 CET 2011

On 11/17/2011 11:58 AM, Jasmin Christian Blanchette wrote:
> Hi again,
> When it comes to the AFP failure, there's a second AFP failure, in JinjaThreads, that's obviously related to the servers' being down yesterday; the Lam-ml-Normalization failure could be due to that, too. Lukas is helping find out.
Hi all,

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.


More information about the isabelle-dev mailing list