Exactly the same applies to Yutaka. Fabian
Am 10.07.2013 um 13:30 schrieb Makarius <[email protected]>: > 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
