[isabelle-dev] Proper AFP history on the web

[Joachim Breitner]

Hi,

Am Freitag, den 12.07.2013, 13:09 +0200 schrieb Makarius:
> On Wed, 10 Jul 2013, Gerwin Klein wrote:
> 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).

A little bit hidden, but there is
http://sourceforge.net/p/afp/code/ci/tip/log/
which seems to list all commits to the repository, and from there you
get to links like
http://sourceforge.net/p/afp/code/ci/908304753f7d30177997524427d78029ea77a331/
that cleanly shows all changes of that commit. You can manually shorten
it to 
http://sourceforge.net/p/afp/code/ci/908304
and it still works.

Greetings,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130712/e2047dee/attachment.sig>