[isabelle-dev] Status of afp-devel wrt. release?

[Makarius]

What is the formal status of the afp-devel wrt. the Isabelle2016 release?

It would be nice to have a clear situation, which AFP repository 
corresponds to isabelle-dev and which to Isabelle2016.

I am about to merge isabelle-release back to isabelle-dev, even before the 
final tagging for Isabelle2016 happens.

This means isabelle-dev could move again at full speed.


 	Makarius