[isabelle-dev] Mercurial conversion relaunch

Makarius makarius at sketis.net
Wed Sep 3 21:54:12 CEST 2008

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 


More information about the isabelle-dev mailing list