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

[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?

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.


 	Makarius