isabelle: Changelog

paulson <lp15@cam.ac.uk> [Thu, 29 Dec 2022 22:14:12 +0000] rev 76822

More tidying

paulson <lp15@cam.ac.uk> [Thu, 29 Dec 2022 16:32:56 +0000] rev 76821

Further cleaning up of messy proofs

paulson [Thu, 29 Dec 2022 11:46:32 +0000] rev 76820

merged

paulson <lp15@cam.ac.uk> [Thu, 29 Dec 2022 11:46:06 +0000] rev 76819

reorganisation and simplification of theorems about transcendental functions

wenzelm [Thu, 29 Dec 2022 16:44:45 +0100] rev 76818

tuned signature;

wenzelm [Thu, 29 Dec 2022 16:17:29 +0100] rev 76817

support asynchronous presentation commands, but not for "no_update" / "Keep", which is usually forked via "Toplevel.diag";

wenzelm [Thu, 29 Dec 2022 15:54:49 +0100] rev 76816

tuned whitespace;

wenzelm [Thu, 29 Dec 2022 15:39:18 +0100] rev 76815

clarified signature;

wenzelm [Thu, 29 Dec 2022 14:54:32 +0100] rev 76814

clarified signature;

wenzelm [Thu, 29 Dec 2022 13:00:16 +0100] rev 76813

tuned;

isabelle