Holger Gast has ben added to the Unix group isabelle, if that is what you mean. He is a member of my chair for half a year, that is why, similar to all other members of the chair.
Tobias Am 12/04/2013 13:08, schrieb Makarius: > This needs to be a broadcast, because there is no additional information to > guess from: > > Some user "gasth" has been added as new super-user for Isabelle at TUM. > > Who is working with him? What is his project? > > > Makarius > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
