| 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 |