Good point. Tom, if you send me the text I will update the two files. Cheers, Gerwin
On 3 Jul 2014, at 10:30 pm, Makarius <makar...@sketis.net> wrote: > 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 ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
