Everything related to IsaMixR is now in the diabelli repository.