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

Florian Haftmann 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?



PGP available:

More information about the isabelle-dev mailing list