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