Am Mittwoch, den 05.12.2012, 21:50 +0000 schrieb Gerwin Klein: > On 05/12/2012, at 6:31 PM, Tobias Nipkow <[email protected]> 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
