--- a/NEWS Fri Aug 19 05:49:07 2022 +0000
+++ b/NEWS Fri Aug 19 05:49:09 2022 +0000
@@ -34,6 +34,9 @@
*** HOL ***
+* Renamed attribute "arith_split" to "linarith_split". Minor
+INCOMPATIBILITY.
+
* Theory Char_ord: streamlined logical specifications.
Minor INCOMPATIBILITY.