[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.


More information about the isabelle-dev mailing list