[isabelle-dev] isabelle "root" access
makarius at sketis.net
Wed Jul 10 13:04:49 CEST 2013
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.
More information about the isabelle-dev