[isabelle-dev] AFP devel broken

[Johannes Hölzl]

Am Mittwoch, den 05.12.2012, 21:50 +0000 schrieb Gerwin Klein:
> On 05/12/2012, at 6:31 PM, Tobias Nipkow <nipkow at in.tum.de> wrote:
> 
> > Can anybody still build the AFP on some machine?
> 
> I have been able to build everything on a linux machine late last
> night.
> 
> The only entry that comes up with an error is Girth_Cromatic
> (something with filter_lim that looks related to a recent change).

This is fixed in changeset AFP/7d05a06f8793. I did the commit 2 days
ago, but maybe I forgot to push it.

 - Johannes