isabelle: Changelog

haftmann [Thu, 08 Oct 2020 07:30:02 +0000] rev 72397

factored out bit comprehension

desharna [Thu, 08 Oct 2020 10:33:38 +0200] rev 72396

Fix formatting of default value in help message of "build_e" component.

wenzelm [Wed, 07 Oct 2020 21:33:07 +0200] rev 72395

tuned signature;

wenzelm [Wed, 07 Oct 2020 21:15:15 +0200] rev 72394

updated user + host;

wenzelm [Wed, 07 Oct 2020 21:02:04 +0200] rev 72393

updated URL;

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

isabelle