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.
http://isabelle.in.tum.de/reports/Isabelle/report/7e2b88fe3d9e4f99a461d28b37bf373d.
Lukas
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
