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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
