haftmann [Mon, 12 Oct 2020 07:25:38 +0000] rev 72452
avoid _cmd suffix where no Isar command is involved
haftmann [Mon, 12 Oct 2020 07:25:38 +0000] rev 72451
replaced combinators by more conventional nesting pattern
haftmann [Mon, 12 Oct 2020 07:25:38 +0000] rev 72450
consolidated names and operations
haftmann [Mon, 12 Oct 2020 07:25:38 +0000] rev 72449
centralized case distinction for beginning and ending nested targets in one place
wenzelm [Sun, 11 Oct 2020 22:26:55 +0200] rev 72448
support for platform-specific executables;
paulson [Sun, 11 Oct 2020 18:46:44 +0100] rev 72447
merged
paulson [Sun, 11 Oct 2020 14:56:18 +0100] rev 72446
merged
paulson <lp15@cam.ac.uk> [Sun, 11 Oct 2020 14:56:03 +0100] rev 72445
tidying and removal of legacy name
wenzelm [Sun, 11 Oct 2020 17:42:32 +0200] rev 72444
tuned whitespace;
wenzelm [Sun, 11 Oct 2020 17:17:19 +0200] rev 72443
more robust: ignore existing gmp installation, but let veriT incorporate extern/gmp;