| Sun, 21 Oct 2018 20:45:01 +0200 | wenzelm | merged | changeset | files |
| 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 |
| Sun, 21 Oct 2018 18:32:33 +0200 | wenzelm | eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting; | changeset | files |
| Sun, 21 Oct 2018 14:35:46 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 21 Oct 2018 14:25:51 +0200 | wenzelm | tuned signature; | changeset | files |