[isabelle-dev] Proper AFP history on the web

Joachim Breitner breitner at kit.edu
Fri Jul 12 13:29:31 CEST 2013


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
which seems to list all commits to the repository, and from there you
get to links like
that cleanly shows all changes of that commit. You can manually shorten
it to 
and it still works.


Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
-------------- 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>

More information about the isabelle-dev mailing list