[isabelle-dev] New super-user "gasth"
nipkow at in.tum.de
Fri Apr 12 14:13:00 CEST 2013
Am 12/04/2013 13:59, schrieb Makarius:
> On Fri, 12 Apr 2013, Tobias Nipkow wrote:
>> Holger Gast has ben added to the Unix group isabelle, if that is what you
>> mean. He is a member of my chair for half a year, that is why, similar to all
>> other members of the chair.
> OK, so it is not relevant to Isabelle development at all?
Not at all.
> We have this traditional confusion of "isabelle_group", "isabelle_admin" etc.
> all being mapped to the "isabelle" Unix group. The latter gives "root access"
> to many administrative things, which is why I was asking here.
In this case no need to worry.
More information about the isabelle-dev