Administration of the mira testing facilities
Jump to navigation
Jump to 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.