Administration of the isatest facilities

From Isabelle Community Wiki
Jump to navigation Jump to search

Main responsibles

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.