[isabelle-dev] Isabelle on Mercurial
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
Please observe the hints in
More information about the isabelle-dev