[isabelle-dev] New super-user "gasth"

[Tobias Nipkow]

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.

Tobias