This is the main Isabelle Mercurial repository.
All the meta data is in .hg/
