[isabelle-dev] Testboard [was: typedef (open) legacy]
florian.haftmann at informatik.tu-muenchen.de
Wed Oct 10 12:51:05 CEST 2012
>> 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?
More information about the isabelle-dev