[isabelle-dev] Testboard [was: typedef (open) legacy]

Lukas Bulwahn 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.

Lukas



More information about the isabelle-dev mailing list