Mon, 12 Oct 2020 15:58:37 +0200 clarified Executable.libraries_closure;
wenzelm [Mon, 12 Oct 2020 15:58:37 +0200] rev 72454
clarified Executable.libraries_closure;
Mon, 12 Oct 2020 07:25:38 +0000 dedicated module for toplevel target handling
haftmann [Mon, 12 Oct 2020 07:25:38 +0000] rev 72453
dedicated module for toplevel target handling
Mon, 12 Oct 2020 07:25:38 +0000 avoid _cmd suffix where no Isar command is involved
haftmann [Mon, 12 Oct 2020 07:25:38 +0000] rev 72452
avoid _cmd suffix where no Isar command is involved
Mon, 12 Oct 2020 07:25:38 +0000 replaced combinators by more conventional nesting pattern
haftmann [Mon, 12 Oct 2020 07:25:38 +0000] rev 72451
replaced combinators by more conventional nesting pattern
Mon, 12 Oct 2020 07:25:38 +0000 consolidated names and operations
haftmann [Mon, 12 Oct 2020 07:25:38 +0000] rev 72450
consolidated names and operations
Mon, 12 Oct 2020 07:25:38 +0000 centralized case distinction for beginning and ending nested targets in one place
haftmann [Mon, 12 Oct 2020 07:25:38 +0000] rev 72449
centralized case distinction for beginning and ending nested targets in one place
Sun, 11 Oct 2020 22:26:55 +0200 support for platform-specific executables;
wenzelm [Sun, 11 Oct 2020 22:26:55 +0200] rev 72448
support for platform-specific executables;
Sun, 11 Oct 2020 18:46:44 +0100 merged
paulson [Sun, 11 Oct 2020 18:46:44 +0100] rev 72447
merged
Sun, 11 Oct 2020 14:56:18 +0100 merged
paulson [Sun, 11 Oct 2020 14:56:18 +0100] rev 72446
merged
Sun, 11 Oct 2020 14:56:03 +0100 tidying and removal of legacy name
paulson <lp15@cam.ac.uk> [Sun, 11 Oct 2020 14:56:03 +0100] rev 72445
tidying and removal of legacy name
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip