Sun, 24 Feb 2019 12:49:32 +0100 | wenzelm | formal update of patches -- no change of content; | file | diff | annotate |
Thu, 31 Jan 2019 22:02:50 +0100 | wenzelm | more accurate _listFiles -- avoid infinite infinite expansion of e.g. "$ISABELLE_HOME"; | file | diff | annotate |