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

Makarius makarius at sketis.net
Fri Apr 12 13:59:33 CEST 2013

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 


More information about the isabelle-dev mailing list