| 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 |
| Sat, 23 Feb 2019 21:32:29 +0100 | wenzelm | obsolete; | file | diff | annotate |
| Mon, 21 Jan 2019 16:50:48 +0100 | wenzelm | clarified ML_OPTIONS on Windows; | file | diff | annotate |
| Wed, 02 Jan 2019 21:18:35 +0100 | wenzelm | strict bash invocation: proper error checking; | file | diff | annotate |