[isabelle-dev] Towards the Isabelle2014 release

Makarius makarius at sketis.net
Thu Jul 3 22:30:36 CEST 2014

On Thu, 3 Jul 2014, Gerwin Klein wrote:

> Applied cleanly and is now pushed.
> On 3 Jul 2014, at 9:55 am, Thomas Sewell <thomas.sewell at nicta.com.au> wrote:
>> On 02/07/14 06:49, Gerwin Klein wrote:
>>> http://isabelle.in.tum.de/testboard/Isabelle/rev/d765be00b181

For the release we also need the canonical NEWS and CONTRIBUTORS entries.

Since the change requires some tinkering on proofs, your experience to do 
so in Isabelle + AFP should be phrased as 1 or 2 sentences in NEWS, such 
that users have a chance to upgrade.


More information about the isabelle-dev mailing list