[isabelle-dev] TUM repository is down?

Makarius makarius at sketis.net
Sat Jun 5 12:10:14 CEST 2021

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


More information about the isabelle-dev mailing list