| Thu, 14 Nov 2019 11:35:02 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 06 Oct 2019 14:17:58 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 16 Sep 2019 16:00:10 +0200 | wenzelm | find theories via session directories only -- ignore known_theories; | file | diff | annotate |