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

Lukas Bulwahn bulwahn at in.tum.de
Fri Nov 18 13:59:19 CET 2011

On 11/17/2011 09:33 PM, Alexander Krauss wrote:
>> 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
Thanks, Alex. This resolved this issue, cf. 


More information about the isabelle-dev mailing list