[isabelle-dev] AFP failure in Lam-ml-Normalization
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.
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
We will have to investigate that further.
More information about the isabelle-dev