Administration of the isatest facilities
Makarius and Gerwin are the main responsibles for isatest.
Idea: Everyone having commit access to the Isabelle master repository (POSIX group isabelle at nfsbroy) is also a isatest subscriber.
When one grants write access to some new member, remember to add that person to the email list (cf. file-isa:tip/Admin/isatest/isatest-settings)
If someone wants seriously take over maintenance, a good starting point is to version the isatest files in
along with associated documentation.