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

Makarius makarius at sketis.net
Fri Feb 12 19:43:47 CET 2016

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.


More information about the isabelle-dev mailing list