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)?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
