| Sun, 21 Oct 2018 20:44:27 +0200 | wenzelm | more robust release.read_ident: eliminated odd state files ISABELLE_IDENT, ISABELLE_DIST; | changeset | files |
| Sun, 21 Oct 2018 19:39:46 +0200 | wenzelm | more portable tar_options; | changeset | files |
| Sun, 21 Oct 2018 19:34:11 +0200 | wenzelm | check (non-)executable files -- and eliminate them manually from the repository) | changeset | files |