On Thu, 8 Aug 2013, Gerwin Klein wrote:
Tobias and I just tried from a laptop on version 41ebc19276ea, which
seems to work fine. Has somebody fixed it in the meantime?
I did not do anything, not even look what is/was wrong.
It seems that isatest was successful today, but we've had some fluctuation
before -- slightly different errors from isatest one day or the other, and
some successful runs.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
