[isabelle-dev] NEWS: Isabelle sessions and build management

Makarius makarius at sketis.net
Tue Jul 31 22:05:49 CEST 2012

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.


More information about the isabelle-dev mailing list