[isabelle-dev] AFP moving to mercurial

[Gerwin Klein]

Because I'm fed up with waiting for Sourceforge to fix their  
permissions, I've decided to make use of Mercurial's distributed  
features:

The normal development version of the AFP is set up and operational at  
sourceforge. You can get your clone with

hg clone ssh://<sf-login>@afp.hg.sourceforge.net/hgroot/afp/afp

This will create a directory "afp" in which you find the usual thys/  
etc subdirectories.

You can also browse the repository at http://afp.hg.sourceforge.net/hgweb/afp/afp/

More information on Mercurial itself is available from:
  * http://p.sf.net/sourceforge/mercurial
  * http://hgbook.red-bean.com/

Please remember that you have to push changes back to the SF  
repository to become visible there. The commit command itself is only  
local in Mercurial.

The release branches for specific Isabelle versions (only really  
necessary for the editors anyway) are currently hosted by TUM and only  
accessible when you have a TUM account. I'll move them to SF when they  
have got their act together. If you think you urgently need access to  
these branches, please let me know.

Cheers,
Gerwin