[isabelle-dev] Coinductive FAILED

Lars Noschinski noschinl at in.tum.de
Thu Nov 7 09:50:17 CET 2013

On 06.11.2013 23:12, Jasmin Christian Blanchette wrote:
> BTW is there any particular reason why testboard and tests are kind of dead these days?

The reason is that none of the Mira daemons is running and for some
reason I didn't get any notification about that.

  -- Lars

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 551 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20131107/ab748b03/attachment.sig>

More information about the isabelle-dev mailing list