[isabelle-dev] New super-user "gasth"

Tobias Nipkow nipkow at in.tum.de
Fri Apr 12 13:53:39 CEST 2013

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.


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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list