Re: [isabelle] Isabelle release candidate



On Tue, 27 Sep 2011, Makarius wrote:

The next official Isabelle release is scheduled for October 2011.

Here is another release candidate:

  http://isabelle.in.tum.de/website-Isabelle2011-1-RC2/

The changes can be followed here:

  http://isabelle.in.tum.de/repos/isabelle-release

There were also some refinements in the packaging, e.g. upgrade or downgrade of contributing components like Emacs and Proof General.


Feedback on problems can be posted on the list, or sent privately.

So far there were only very few problem report, which means either there are no problems or nobody has really tried it.


	Makarius





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