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 |