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.
Lukas
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
