This is a brief summary of the current situation:

* The current RC version is and is an alias for that.

* 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?


isabelle-dev mailing list

Reply via email to