isabelle: Changelog

wenzelm [Tue, 21 Feb 2023 12:03:52 +0100] rev 77330

support alternative build engines, via system option "build_engine";

wenzelm [Tue, 21 Feb 2023 11:20:42 +0100] rev 77329

misc tuning and clarification; support SSH.System;

wenzelm [Tue, 21 Feb 2023 11:19:39 +0100] rev 77328

proper test, following Platform.is_linux;

wenzelm [Tue, 21 Feb 2023 11:07:00 +0100] rev 77327

clarified signature;

wenzelm [Tue, 21 Feb 2023 10:43:30 +0100] rev 77326

clarified signature;

paulson [Tue, 21 Feb 2023 11:25:23 +0000] rev 77325

merged

paulson <lp15@cam.ac.uk> [Mon, 20 Feb 2023 17:11:43 +0000] rev 77324

Simplified some more proofs

paulson [Mon, 20 Feb 2023 15:20:03 +0000] rev 77323

merged

paulson <lp15@cam.ac.uk> [Mon, 20 Feb 2023 15:19:53 +0000] rev 77322

Replacing z powr of_int i by z powi i and adding new material from the AFP

wenzelm [Mon, 20 Feb 2023 21:53:15 +0100] rev 77321

merged

isabelle