| Mon, 16 Sep 2019 16:00:10 +0200 | wenzelm | find theories via session directories only -- ignore known_theories; | changeset | files |
| Mon, 16 Sep 2019 15:30:38 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 16 Sep 2019 12:03:25 +0200 | wenzelm | tuned message; | changeset | files |
| Mon, 16 Sep 2019 19:31:38 +0200 | nipkow | merged | changeset | files |
| Mon, 16 Sep 2019 18:00:27 +0200 | nipkow | tuned | changeset | files |
| Mon, 16 Sep 2019 17:03:13 +0100 | paulson | A little-known material, and some tidying up | changeset | files |
| Sun, 15 Sep 2019 17:24:31 +0200 | wenzelm | merged | changeset | files |
| Sun, 15 Sep 2019 17:01:35 +0200 | wenzelm | tuned; | changeset | files |