isabelle: Changelog

wenzelm [Tue, 31 May 2022 12:48:12 +0200] rev 75498

redundant (after f28aee3ad1e6): self_update already takes care of currently active Isabelle clone;

wenzelm [Mon, 30 May 2022 22:34:45 +0200] rev 75497

clarified options;

nipkow [Mon, 30 May 2022 20:58:45 +0200] rev 75496

Added lemmas

paulson [Mon, 30 May 2022 12:46:22 +0100] rev 75495

merged

paulson <lp15@cam.ac.uk> [Mon, 30 May 2022 12:46:11 +0100] rev 75494

Five slightly useful lemmas

wenzelm [Mon, 30 May 2022 11:51:34 +0200] rev 75493

clarified option -T;

wenzelm [Mon, 30 May 2022 11:34:25 +0200] rev 75492

preserve jars for quick testing;

wenzelm [Mon, 30 May 2022 11:02:13 +0200] rev 75491

tuned names;

wenzelm [Mon, 30 May 2022 10:56:51 +0200] rev 75490

clarified documentation: $ISABELLE_HOME is not a repository for regular releases;

wenzelm [Mon, 30 May 2022 10:52:00 +0200] rev 75489

clarified command-line options;

isabelle