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.)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
