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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
