[isabelle-dev] Proper AFP history on the web

Makarius makarius at sketis.net
Wed Jul 10 17:29:12 CEST 2013

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: 

"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: 


More information about the isabelle-dev mailing list