The "Lehrstuhl" at TUM has this ancient tradition to hand out full "root"
access (via the "isabelle" Unix group) to anybody who happens to get an
account for any kind of project.
This is a lot of power (and responsibility) and and recent years we had
quite often the situation that neither the one who grants the rights nor
the one who receives them knows what that implies.
So can anybody clarify the role of the new Isabelle administrator
"westerli" (Markus Westerlind)?
Of course he is also welcome to introduce himself.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev