[isabelle-dev] Isabelle2013-2 release

Gerwin Klein Gerwin.Klein at nicta.com.au
Fri Nov 29 02:37:35 CET 2013

On 21.11.2013, at 10:56 pm, Makarius <makarius at sketis.net> wrote:
>> Did anybody test WWW_Find?

Have just confirmed that WWW_Find works fine with Isabelle2013-2-RC2



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