[isabelle-dev] TUM repository is down?

[Makarius]

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