On Wed, 23 Mar 2011, Alexander Krauss wrote:
I tried to fix this in 6a147393c62a for Mirabelle. If it doesn't produce new crashes, we can do the same for Mutabelle.
This looks fine.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
