Mon, 11 Nov 2019 11:49:43 +0100 | wenzelm | added "isabelle phabricator"; | file | diff | annotate |
Thu, 07 Nov 2019 11:55:41 +0100 | wenzelm | tuned messages; | file | diff | annotate |
Thu, 07 Nov 2019 11:40:17 +0100 | wenzelm | clarified command-line; | file | diff | annotate |
Thu, 07 Nov 2019 11:29:03 +0100 | wenzelm | tuned messages; | file | diff | annotate |