On Tue, 31 Jul 2012, Makarius wrote:
This is an update on the build configuration for AFP:
Isabelle/4dd1d4585902
AFP/4892fed712e1
afp-build/a6ccf93b0574 (see https://bitbucket.org/makarius/afp-build)
This should be Isabelle/6004f4575645. In Isabelle/4dd1d4585902 the
Read-Black Tree tree library has changed and broke AFP.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
