On 05/06/2021 12:10, Makarius wrote:
> On 02/06/2021 20:30, Makarius wrote:
>> On 02/06/2021 16:57, Lawrence Paulson wrote:
>>> I’m getting error messages (see below). Any news?
>>
>> lxbroy10 has been reinstalled: instead of an unusual Gentoo setup it is now
>> Ubuntu 20.04; moreover the NFS directory layout has become more "standard"
>> according to customs of the central system administration at TUM.
>
> There are some new problems with SSH apparently: I cannot connect.
>
> (I have already an active mail thread with Thomas Fritz from the TUM system
> administration.)
lxbroy10 appears to be back --- although I did not get mail from the admins yet.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
