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

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