| Fri, 01 Sep 2023 21:04:14 +0200 | wenzelm | more robust $ISABELLE_TMP_PREFIX on windows: avoid location within Cygwin root, i.e. inside the program directory (see also ff92d6edff2c and 1df53737c59b); | changeset | files |
| Fri, 01 Sep 2023 21:01:56 +0200 | wenzelm | more robust $TMPDIR on windows, e.g. for repository snapshot: do not depend on $TEMP_WINDOWS provided by official distribution;a | changeset | files |
| Thu, 31 Aug 2023 14:59:52 +0200 | wenzelm | more portable: it really is the Cygwin $HOME not the Windows $USER_HOME; | changeset | files |