Mon, 12 Oct 2020 17:42:15 +0200 NEWS;
wenzelm [Mon, 12 Oct 2020 17:42:15 +0200] rev 72457
NEWS;
Mon, 12 Oct 2020 17:40:00 +0200 activate E 2.5 for production use (see also 5d1a7b688f6d);
wenzelm [Mon, 12 Oct 2020 17:40:00 +0200] rev 72456
activate E 2.5 for production use (see also 5d1a7b688f6d); rebuild component according to current "isabelle build_e" and PLATFORMS;
Mon, 12 Oct 2020 16:19:11 +0200 clarified signature;
wenzelm [Mon, 12 Oct 2020 16:19:11 +0200] rev 72455
clarified signature;
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip