[isabelle-dev] isabelle "root" access

Makarius makarius at sketis.net
Wed Jul 10 13:30:39 CEST 2013

On Wed, 10 Jul 2013, Fabian Immler wrote:

> Markus Westerlind is a student of mine. For his Bachelor's thesis he 
> needs to carry out performance measurements on a machine with many cores 
> (isabelle-server). His project is not directly related to Isabelle, so 
> you are right that a full "root" access is too much, but it is the only 
> way for him to access that machine (conveniently).

> So he has nothing to do with Isabelle development or administration and 
> I trust that he is not abusing his power.

OK, that is what we've usually had routinely in the past.  BTW, these 
"shadow administrators" don't even know their powers, so abuse has 
de-facto not happened yet, as far as I know.  (This is a strange security 
policy, of course.)

Can you also speak for nagashim (Yutaka Nagashima)?


More information about the isabelle-dev mailing list