| 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 |
| Thu, 12 Oct 2017 11:39:54 +0200 | wenzelm | more robust: allow URLs; | changeset | files |
| Thu, 12 Oct 2017 11:39:06 +0200 | wenzelm | more robust: allow Windows file names; | changeset | files |
| Thu, 12 Oct 2017 11:25:06 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 12 Oct 2017 05:37:58 +0200 | nipkow | relaxed assm | changeset | files |