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