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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
