[isabelle-dev] Proper AFP history on the web
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