On 11.06.2014, at 2:56 pm, Thomas Sewell <thomas.sew...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev