| Mon, 12 Oct 2020 17:42:15 +0200 | wenzelm | NEWS; | changeset | files |
| Mon, 12 Oct 2020 17:40:00 +0200 | wenzelm | activate E 2.5 for production use (see also 5d1a7b688f6d); | changeset | files |
| Mon, 12 Oct 2020 16:19:11 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 12 Oct 2020 15:58:37 +0200 | wenzelm | clarified Executable.libraries_closure; | changeset | files |