isabelle: Changelog

wenzelm [Sat, 14 Oct 2017 15:44:21 +0200] rev 66860

support for AFP in build_history and remote_build_history;

wenzelm [Fri, 13 Oct 2017 22:56:20 +0200] rev 66859

tuned whitespace;

wenzelm [Fri, 13 Oct 2017 21:53:22 +0200] rev 66858

support for AFP versions;

wenzelm [Fri, 13 Oct 2017 21:20:31 +0200] rev 66857

tuned signature;

wenzelm [Fri, 13 Oct 2017 21:15:04 +0200] rev 66856

tuned signature;

wenzelm [Fri, 13 Oct 2017 21:09:35 +0200] rev 66855

support for AFP versions;

wenzelm [Fri, 13 Oct 2017 13:31:56 +0200] rev 66854

tuned;

nipkow [Fri, 13 Oct 2017 09:01:27 +0200] rev 66853

added lemmas, tuned spaces

wenzelm [Thu, 12 Oct 2017 21:22:02 +0200] rev 66852

entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;

wenzelm [Thu, 12 Oct 2017 15:58:18 +0200] rev 66851

more informative Imports.Report with actual session imports (minimized);

isabelle