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