On Thu, 8 May 2014, mta-proj wrote:
die Gruppe isabelle, in der Sie Mitglied sind, wurde mit desharna,fleury
erweitert
Membership of the isabelle Unix group means full root access to
many administrative resources. Usually neither the one who grants the
rights nor the one who receives them
Hi Makarius,
Am 08.05.2014 um 12:32 schrieb Makarius makar...@sketis.net:
On Thu, 8 May 2014, mta-proj wrote:
die Gruppe isabelle, in der Sie Mitglied sind, wurde mit desharna,fleury
erweitert
Membership of the isabelle Unix group means full root access to many
administrative
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
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
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
Exactly the same applies to Yutaka.
Fabian
Am 10.07.2013 um 13:30 schrieb Makarius makar...@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
