Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper formatting;
authorwenzelm
Wed, 05 Nov 2025 19:42:22 +0100
changeset 83519 71525fbbc818
parent 83518 e8f4f3f1d09a
child 83520 6f656fc94319
proper formatting;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Nov 05 19:41:13 2025 +0100
+++ b/NEWS	Wed Nov 05 19:42:22 2025 +0100
@@ -366,8 +366,8 @@
 * 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
+* Session "HOL-Analysis": much new material including the "slotted
+complex plane" and change-of-variables theorems.
 
 * Removed theory "HOL-Library.Divides" (finally).
isabelle