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

[Lars Noschinski]

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>