more robust $ISABELLE_TMP_PREFIX on windows: avoid location within Cygwin root, i.e. inside the program directory (see also ff92d6edff2c and 1df53737c59b);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEfa18208fd7bd: more robust $TMPDIR on windows, e.g. for repository snapshot: do not depend on…
- Branches
- Unknown
- Tags