# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1762344276 0
# Node ID b5dc7f577e02c756f906002ca0af7389d9417b66
# Parent  b596dead917873ab1cd875efd0ad97dbc1549a9f
NEWS

diff -r b596dead9178 -r b5dc7f577e02 NEWS
--- a/NEWS	Wed Nov 05 12:57:55 2025 +0100
+++ b/NEWS	Wed Nov 05 12:04:36 2025 +0000
@@ -366,6 +366,9 @@
 * More efficient default implementation for
 HOL-Library.Discrete_Functions.floor_sqrt.
 
+* Session "HOL-Analysis": much new material including the "slotted complex plane" 
+and change-of-variables theorems
+
 * Removed theory "HOL-Library.Divides" (finally).