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

[Florian Haftmann]

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

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de