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

Tobias Nipkow 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 mailing list