Administration of the mira testing facilities

From Isabelle Community Wiki
Jump to: navigation, search

This has been moved to the TUM configuration repository. Try something like

 nfsbroy$ hg clone /home/isabelle-repository/repos/config-tum

to obtain it.