| 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 |
| Mon, 12 Oct 2020 07:25:38 +0000 | haftmann | dedicated module for toplevel target handling | changeset | files |
| Mon, 12 Oct 2020 07:25:38 +0000 | haftmann | avoid _cmd suffix where no Isar command is involved | changeset | files |
| Mon, 12 Oct 2020 07:25:38 +0000 | haftmann | replaced combinators by more conventional nesting pattern | changeset | files |
| Mon, 12 Oct 2020 07:25:38 +0000 | haftmann | consolidated names and operations | changeset | files |