| Thu, 12 Dec 2019 13:55:03 +0100 | wenzelm | proper support for multiple installations; | file | diff | annotate |
| Thu, 12 Dec 2019 11:49:00 +0100 | wenzelm | clarified "isabelle phabricator -l": avoid surprise with non-existent default installation; | file | diff | annotate |
| Wed, 11 Dec 2019 22:09:34 +0100 | wenzelm | more robust; | file | diff | annotate |
| Wed, 11 Dec 2019 21:49:24 +0100 | wenzelm | more robust; | file | diff | annotate |
| Wed, 11 Dec 2019 14:42:12 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 11 Dec 2019 14:29:18 +0100 | wenzelm | support database dump; | file | diff | annotate |
| Tue, 10 Dec 2019 21:05:07 +0100 | wenzelm | proper check of Linux version; | file | diff | annotate |