[isabelle-dev] Proper AFP history on the web
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
and it still works.
Dipl.-Math. Dipl.-Inform. Joachim Breitner
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 198 bytes
Desc: This is a digitally signed message part
More information about the isabelle-dev