[isabelle-dev] Towards the Isabelle2017 release

Makarius makarius at sketis.net
Sun Sep 24 12:27:07 CEST 2017


This is a brief summary of the current situation:

* The current RC version is
http://isabelle.in.tum.de/website-Isabelle2017-RC3 and
http://isabelle.in.tum.de/website-Isabelle2017 is an alias for that.

* http://isabelle.in.tum.de/repos/isabelle/rev/ebb97a834338 is a
preliminary merge of the isabelle-release repository. I am myself
mentally back to isabelle-dev.

* The situation of afp-devel is still somewhat unclear to me. When will
the fork to afp-2017 happen?


	Makarius




More information about the isabelle-dev mailing list