| Wed, 11 Sep 2019 20:48:10 +0200 | wenzelm | find theory node name via session directories; | changeset | files |
| Wed, 11 Sep 2019 16:06:10 +0200 | wenzelm | disallow overlapping session directories; | changeset | files |
| Tue, 10 Sep 2019 14:40:00 +0100 | paulson | tidied up some massive ugliness | changeset | files |
| Sun, 08 Sep 2019 20:04:32 +0200 | wenzelm | clarified messages; | changeset | files |
| Sun, 08 Sep 2019 17:49:35 +0200 | wenzelm | clarified syntax: 'directories' and 'theories' belong together; | changeset | files |
| Sun, 08 Sep 2019 17:15:46 +0200 | wenzelm | more documentation; | changeset | files |
| Sun, 08 Sep 2019 16:49:32 +0200 | wenzelm | check session directories; | changeset | files |