Re: [isabelle] Isabelle2016-RC0 - AFP and Library available for testing



On Sun, 3 Jan 2016, Gerwin Klein wrote:

Weâll start updating to Isabelle2016-RC* and Iâll post an update when itâs pushed out.

Great.

Just note that between informal Isabelle2016-RC0 and formal Isabelle2016-RC1, a few incompatibilities may creep in, but it should be handable. I guess that Isabelle2016-RC1 will be published in 2 weeks.


	Makarius


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