Done now, I hope Larry On 30 May 2011, at 08:10, Andreas Lochbihler wrote:
> This fix solves the problem with the exception. I tried it with 574613b47583. > Can you add it to the repository as I do not have wirte access to that. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
