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
signature.asc
Description: This is a digitally signed message part
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev