| Fri, 13 Oct 2017 21:20:31 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 13 Oct 2017 21:15:04 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 13 Oct 2017 21:09:35 +0200 | wenzelm | support for AFP versions; | changeset | files |
| Fri, 13 Oct 2017 13:31:56 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 13 Oct 2017 09:01:27 +0200 | nipkow | added lemmas, tuned spaces | changeset | files |
| Thu, 12 Oct 2017 21:22:02 +0200 | wenzelm | entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless; | changeset | files |
| Thu, 12 Oct 2017 15:58:18 +0200 | wenzelm | more informative Imports.Report with actual session imports (minimized); | changeset | files |