isabelle: Changelog

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

paulson <lp15@cam.ac.uk> [Fri, 02 Feb 2024 11:25:11 +0000] rev 79566

A small number of new lemmas

haftmann [Thu, 01 Feb 2024 12:14:57 +0000] rev 79565

explicit reference to code_dt

traytel [Thu, 01 Feb 2024 17:06:40 +0100] rev 79564

made lift_bnf more robust for abstract types with 'phantom' type variables

isabelle