[isabelle-dev] Isabelle on Mercurial

[Makarius]

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 
http://isabelle.in.tum.de/repos/isabelle/file/tip/README_REPOSITORY


	Makarius