[isabelle-dev] isabelle "root" access

[Makarius]

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