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

Makarius makarius at sketis.net
Fri Apr 12 13:08:38 CEST 2013

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?


More information about the isabelle-dev mailing list