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

[Makarius]

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