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