| 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 |
| Thu, 12 Sep 2019 13:33:09 +0200 | wenzelm | find theory files via session structure: much faster Prover IDE startup; | file | diff | annotate |