[isabelle-dev] isabelle "root" access
immler at in.tum.de
Wed Jul 10 13:31:49 CEST 2013
Exactly the same applies to Yutaka.
Am 10.07.2013 um 13:30 schrieb Makarius <makarius at sketis.net>:
> 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