[isabelle-dev] Mercurial conversion relaunch

[Makarius]

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