This repository has been deleted

Our apologies, but the repository "makarius/isabelle" has been deleted.

It now lives at https://isabelle.sketis.net/repos/isabelle.