[isabelle-dev] Testboard [was: typedef (open) legacy]
bulwahn at in.tum.de
Wed Oct 10 13:29:25 CEST 2012
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.
More information about the isabelle-dev