[isabelle-dev] Isabelle on Mercurial

Makarius makarius at sketis.net
Mon Dec 1 15:16:03 CET 2008

On Sun, 30 Nov 2008, Makarius wrote:

> After several months of getting acquainted with "distributed version 
> control" in general, we should be finally ready to switch the official 
> Isabelle repository to Mercurial.

> After pressing the red button, the conversion job will be stopped and 
> pushing enabled.

I have done this now: permissions on 
/home/isabelle-repository/repos/isabelle are changed to allow members of 
the local "isabelle" Unix group to push.

Note that the file system layout of the repository is now the same as for 
regular distributions.

Please observe the hints in 


More information about the isabelle-dev mailing list