isabelle: Changelog

wenzelm [Tue, 11 May 2021 14:03:39 +0200] rev 73669

proper jEdit.props (amending ff716ecb0805);

wenzelm [Tue, 11 May 2021 13:45:09 +0200] rev 73668

update to gmp-6.2.1, with support for arm64-darwin;

wenzelm [Tue, 11 May 2021 13:06:36 +0200] rev 73667

clarified platforms;

wenzelm [Tue, 11 May 2021 12:21:39 +0200] rev 73666

clarified options: implicitly support both x86_64 and arm64;

wenzelm [Tue, 11 May 2021 11:17:27 +0200] rev 73665

tuned whitespace;

haftmann [Mon, 10 May 2021 19:46:01 +0000] rev 73664

centralized more lemmas

haftmann [Mon, 10 May 2021 19:45:54 +0000] rev 73663

avoid Fun.swap

haftmann [Mon, 10 May 2021 19:45:51 +0000] rev 73662

guide is out of focus

wenzelm [Mon, 10 May 2021 22:32:02 +0200] rev 73661

proper build for fresh target directory (amending d9823224fcfe);

wenzelm [Mon, 10 May 2021 22:18:12 +0200] rev 73660

put more resources into jedit_build component;

isabelle