[isabelle-dev] Towards the Isabelle2014 release

Gerwin Klein Gerwin.Klein at nicta.com.au
Wed Jun 11 10:11:52 CEST 2014

On 11.06.2014, at 2:56 pm, Thomas Sewell <thomas.sewell at nicta.com.au> wrote:

> Gerwin will push the isabelle hypsubst change to the testboard now (assuming he can remember how).

He could and did.



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.

More information about the isabelle-dev mailing list