isabelle: Changelog

haftmann [Fri, 10 Jan 2025 18:35:46 +0100] rev 81761

more correct code generation for string literals

nipkow [Fri, 10 Jan 2025 17:13:27 +0100] rev 81760

made lemma visible

paulson <lp15@cam.ac.uk> [Fri, 10 Jan 2025 15:48:20 +0000] rev 81759

fixed a typo

paulson <lp15@cam.ac.uk> [Fri, 10 Jan 2025 15:11:56 +0000] rev 81758

Correction to pretty printing for set intervals, allowing a line break if necessary for a large expression

Lukas Bartl [Thu, 09 Jan 2025 13:18:37 +0100] rev 81757

tuned documentation and order of instantiated facts

wenzelm [Thu, 09 Jan 2025 23:06:17 +0100] rev 81756

merged

wenzelm [Thu, 09 Jan 2025 14:53:05 +0100] rev 81755

update cygwin near 3.5.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2024-December/012023.html

haftmann [Thu, 09 Jan 2025 08:33:11 +0100] rev 81754

direct symbolic implementations of and, or, xor on integer

haftmann [Thu, 09 Jan 2025 10:13:05 +0100] rev 81753

corrected

wenzelm [Wed, 08 Jan 2025 15:49:52 +0100] rev 81752

merged

isabelle