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 |