On Wed, 3 Sep 2008, Makarius wrote: > Within the next few hours http://isabelle.in.tum.de/repos/isabelle will > recover to the present state of the CVS. Since this is a fresh > Mercurial repository, local clones probably need to be recreated from > scratch.
In the mean tome it might be helpful to refer to the old version, now at http://isabelle.in.tum.de/repos/isabelle-old/ Makarius
