On 10/10/2012 12:51 PM, Florian Haftmann wrote:
I cannot connect to testboard at the moment, it seems to be in bad
shape again.
The testboard should now be in a running state again.
For the record: is there any diagnosis what went wrong?
On the webserver, spidermonkey was updated on Monday evening, and some
changes were incompatible for couchdb. This caused couchdb to fail silently.
Lukas
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
