| 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 |
| Mon, 12 Oct 2020 07:25:38 +0000 | haftmann | centralized case distinction for beginning and ending nested targets in one place | changeset | files |
| Sun, 11 Oct 2020 22:26:55 +0200 | wenzelm | support for platform-specific executables; | changeset | files |
| Sun, 11 Oct 2020 18:46:44 +0100 | paulson | merged | changeset | files |