[isabelle-dev] New (Co)datatypes: Status & Plan 2

Lars Noschinski noschinl at in.tum.de
Wed Nov 20 17:28:34 CET 2013

On 20.11.2013 17:17, Makarius wrote:
> Looking at http://isabelle.in.tum.de/reports/Isabelle/ is odd: spinning
> wheel for 4bc48d713602 (time comment "8 hours ago").
> So maybe mira is down or non-terminating.

In the last days, the CouchDB seems to be down more often than not.
Maybe next week I'll have time to look into that; for now I just
restarted mira.

  -- 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/20131120/fad07ca6/attachment.sig>

More information about the isabelle-dev mailing list