Re: [isabelle] Isabelle2015-RC1 available for testing



On Fri, 17 Apr 2015, Makarius wrote:

Isabelle2015-RC1 is now available here:

 http://isabelle.in.tum.de/website-Isabelle2015-RC1

Version a44a0c9e17ef of the AFP development repository https://sourceforge.net/p/afp/code is known to work with the above.


	Makarius




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