isabelle: Changelog

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 19 Jan 2024 13:56:26 +0100] rev 79576

fix reconstruction of Alethe's and_pos rule

desharna [Mon, 05 Feb 2024 10:06:34 +0100] rev 79575

added lemmas Multiset.transp_on_multp and Multiset.trans_on_mult

wenzelm [Sun, 04 Feb 2024 23:05:35 +0100] rev 79574

proper target option, following package binutils-mingw-w64-x86-64 from Debian/Ubuntu;

wenzelm [Sun, 04 Feb 2024 21:51:30 +0100] rev 79573

updated windows_app based on launch4j-3.50-linux-x64, without rebuilding GNU binutils (missing COFF target pe-i386);

wenzelm [Sun, 04 Feb 2024 21:32:24 +0100] rev 79572

proper sfx_archive_name;

wenzelm [Sun, 04 Feb 2024 20:54:30 +0100] rev 79571

clarified options;

wenzelm [Sun, 04 Feb 2024 20:23:37 +0100] rev 79570

more robust;

wenzelm [Sun, 04 Feb 2024 19:32:45 +0100] rev 79569

build Isabelle windows_app component from GNU binutils and launch4j;

wenzelm [Fri, 02 Feb 2024 22:46:45 +0100] rev 79568

proper windows_app/launch4j-linux_arm;

paulson [Fri, 02 Feb 2024 11:25:24 +0000] rev 79567

merged

isabelle