isabelle: Changelog

wenzelm [Tue, 18 Apr 2023 11:45:04 +0200] rev 77865

Backed out changeset e3db27e3b0c6

wenzelm [Tue, 18 Apr 2023 11:44:10 +0200] rev 77864

Backed out changeset cd5d56abda10

wenzelm [Mon, 17 Apr 2023 23:32:46 +0200] rev 77863

revert b43ee37926a9 due to problems with AFP/PAPP_Impossibility;

wenzelm [Sat, 15 Apr 2023 23:11:08 +0200] rev 77862

merged

wenzelm [Sat, 15 Apr 2023 22:26:22 +0200] rev 77861

tuned;

Lars Hupel <lars.hupel@mytum.de> [Sat, 15 Apr 2023 23:02:01 +0200] rev 77860

merged

stuebinm <stuebinm@disroot.org> [Tue, 04 Apr 2023 16:06:12 +0200] rev 77859

code_target: create subdirectories for export_code file

wenzelm [Sat, 15 Apr 2023 15:19:58 +0200] rev 77858

clarified signature: support "suppress" prefix as int, followed by list;

wenzelm [Sat, 15 Apr 2023 14:44:45 +0200] rev 77857

minor performance tuning: more elementary operations;

wenzelm [Sat, 15 Apr 2023 14:42:58 +0200] rev 77856

tuned signature;

isabelle