[isabelle-dev] Coinductive FAILED

[Lars Noschinski]

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>