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