[isabelle] Blog: Release candidates for Isabelle2016



Dear Isabelle users,

the ongoing release process is continuously documented here: http://sketis.net/2016/release-candidates-for-isabelle2016


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.