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.sew...@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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
