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