[isabelle-dev] Proper AFP history on the web

Makarius makarius at sketis.net
Fri Jul 12 13:09:10 CEST 2013

On Wed, 10 Jul 2013, Gerwin Klein wrote:

> The official URL for browsing is 
> http://sourceforge.net/p/afp/code/ci/default/tree/ as advertised on 
> http://afp.sourceforge.net/download.shtml.

That tree view is what I meant as old-style SVN browser, although it does 
not do justice to SVN, which actually has a notion of (linear) changeset 
history that covers all files that are changed.  What sourceforge presents 
here actually for CVS, where every file has its own isolated RCS history 
(as ,v) file.

Looking once more at http://sourceforge.net/p/afp/code/ci/default/tree I 
still cannot see a proper way to get an overview of changes, covering all 
files that are touched.  The "Browse Commits" view shows again only single 
files with their history (and the graph is rendered in very low quality).

> The official URL for cloning is http://hg.code.sf.net/p/afp/code as 
> advertised on that page (with ssh and SF login if you have one).
> It doesn't change every few months. It has changed once in 10 years, 
> admittedly with breakage that one time, but it does not look like it's 
> going to be a frequent event.

Until recently I used http://afp.hg.sourceforge.net/hgweb/afp/afp-2013/ 
for cloning and browsing, but that seems to be abandoned now.

Note that 10 years ago source forge only had CVS and SVN, only later they 
pretended to support Mercurial and Git.

Anyway, I was looking for a practical way to cite AFP changes here on the 
mailing list.  The (abbreviated) changeset id is in principle sufficient, 
but often people find it hard to retrieve it from the many clones and 
branches, and many different web views.  So occasional use of 
semi-standard URLs helps to get to the point quicker.

For now http://isabelle.in.tum.de/repos/AFP/ seems to do that, until SF 
gets into better shape.


More information about the isabelle-dev mailing list