[isabelle-dev] Isabelle on Mercurial

Makarius makarius at sketis.net
Tue Dec 2 22:19:54 CET 2008

One more general note getting started with Mercurial: When exploring 
features of the system, please do it privately, on smaller repositories 

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.


More information about the isabelle-dev mailing list