isabelle: Changelog

wenzelm [Wed, 07 Oct 2020 20:53:27 +0200] rev 72392

clarified multicore options;

wenzelm [Wed, 07 Oct 2020 20:51:04 +0200] rev 72391

discontinued old machines;

wenzelm [Wed, 07 Oct 2020 20:43:59 +0200] rev 72390

updated tests for macOS 10.14 Mojave;

nipkow [Wed, 07 Oct 2020 17:34:24 +0200] rev 72389

Aded Queues

haftmann [Wed, 07 Oct 2020 10:39:14 +0200] rev 72388

consolidated for the sake of documentation

wenzelm [Wed, 07 Oct 2020 11:31:51 +0200] rev 72387

tuned;

paulson [Tue, 06 Oct 2020 20:34:38 +0100] rev 72386

merged

paulson <lp15@cam.ac.uk> [Tue, 06 Oct 2020 20:34:29 +0100] rev 72385

Simplified some proofs

nipkow [Tue, 06 Oct 2020 16:55:56 +0200] rev 72384

added lemmas; internalized defn in class

paulson [Mon, 05 Oct 2020 22:53:40 +0100] rev 72383

merged

isabelle