Re: [isabelle] Isabelle2015-RC0 available for testing

On Sun, 12 Apr 2015, W. Douglas Maurer wrote:

Under NEWS, in Release notes, there is a history of user-relevant changes in Isabelle2014. Now that Isabelle2015 is available for testing, can the changes in Isabelle2015 also appear under NEWS?

The NEWS file is already more than 99% finished and in its usual place: in the top-level directory of the Isabelle distribution or in the Documentation panel, the one that is wide open on first startup.

There is now also a note in the NEWS:

  Isabelle/jEdit shows a tree-view of this file in Sidekick.


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