Dear Mercurial enthusiasts, the URL for the Isabelle sources (still read-only) is now
http://isabelle.in.tum.de/repos/isabelle/ The old http://isabelle.in.tum.de/isabelle-bin/mercurial.cgi/ will disappear soon. Adapting local clones of this repository merely involves editing the default path in .hg/hgrc -- unlike CVS/SVN the Mercurial meta data is only in a single place within each repository. Anybody who has not tried Mercurial yet should do so now. It is the kind of tool that makes live much easier, only at the cost of unlearning quirks of CVS/SVN. (The way of thinking needs to be de-centralized.) Makarius
