On 21.11.2013, at 10:56 pm, Makarius <[email protected]> wrote: >> Did anybody test WWW_Find?
Have just confirmed that WWW_Find works fine with Isabelle2013-2-RC2 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. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
