[isabelle-dev] isabelle "root" access

Makarius 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 mailing list