[isabelle-dev] Proper AFP history on the web

[Makarius]

On Wed, 3 Jul 2013, Florian Haftmann wrote:

>> It sounds like I should also look into the AFP. Is
>> http://hg.code.sf.net/p/afp/code the correct repo URL?
>
> Yse, indeed.

This is where I've got via the sourceforge project summary: 
http://sourceforge.net/projects/afp/

"Mercurial / Code" then points to http://sourceforge.net/p/afp/code but 
that looks more like something for SVN, not Mercurial.  The low-level HTTP 
URL for cloning then leads to http://hg.code.sf.net/p/afp/code above, but 
that lacks style for browsing.


Is there a proper way to access AFP history on the web -- one that does 
not change every few months, and usually to the worse?

We could consider some semi-official Bitbucket clone of it?  E.g. here: 
https://bitbucket.org/isabelle_project


 	Makarius