| Fri, 09 Sep 2022 21:15:11 +0200 | wenzelm | clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge; | file | diff | annotate |
| Thu, 22 Apr 2021 22:07:05 +0200 | wenzelm | clarified command-line; | file | diff | annotate |
| Sat, 13 Feb 2016 17:27:23 +0100 | wenzelm | clarified name; | file | diff | annotate | base |