One more general note getting started with Mercurial: When exploring features of the system, please do it privately, on smaller repositories first!
The Isabelle repository is very complex and many other people depend on it
working smoothly. Anything that might end up in the central place should
be done with great care.
Makarius
