On Mon, 13 Jul 2015, Makarius wrote:
Hopefully we can not return to isatest runs that work routinely. But we also need to revisit the actual problem eventually.
This should read as "Hopefully we can *now* return ..."
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
