[isabelle-dev] Towards the Isabelle2014 release

[Gerwin Klein]

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.

Cheers,
Gerwin




________________________________

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.