Sat, 27 Feb 2021 18:04:29 +0100 | wenzelm | clarified modules: more like ML; | changeset | files |
Sat, 27 Feb 2021 17:33:40 +0100 | wenzelm | obsolete; | changeset | files |
Sat, 27 Feb 2021 17:32:02 +0100 | wenzelm | tuned; | changeset | files |
Sat, 27 Feb 2021 17:25:54 +0100 | wenzelm | more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552); | changeset | files |
Sat, 27 Feb 2021 16:33:16 +0100 | wenzelm | discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working; | changeset | files |
Sat, 27 Feb 2021 13:39:06 +0100 | wenzelm | more checks; | changeset | files |
Sat, 27 Feb 2021 13:37:04 +0100 | wenzelm | clarified message; | changeset | files |