Update the CHANGES file

CHANGES.md

@@ -1,4 +1,4 @@
-## unreleased
+## v2.6.0
 
 ### Command-line interface
 
@@ -14,6 +14,7 @@
  - Add bare-bones support for interactive input in SMT-LIB format (#949)
  - Less confusing behavior on timeout (#982, #984)
  - Add `--strict` option for SMT-LIB compliant mode (#916, #1133)
+ - Deprecate `sum`, `typing` and `warnings` debug flags (#1204)
 
 ### SMT-LIB support
 
@@ -59,6 +60,8 @@
  - Rewrite the ADT theory to use domains and integrate the enum theory into the
    ADT theory (#1078, #1086, #1087, #1091, #1094, #1138)
  - Rewrite the Intervals module entirely (#1108)
+ - Add maximize/minimize terms for matching (#1166)
+ - Internalize `sign_extend` and `repeat` (#1192)
 
 ### Internal/library changes
 
@@ -92,6 +95,7 @@
    registered through the dune-site plugin mechanism in the
    `(alt-ergo plugins)` site to be picked up by Alt-Ergo (#1049).
  - Add a release workflow (#827)
+ - Add a Windows workflow (#1203)
  - Mark the dune.inc file as linguist-generated to avoid huge diffs (#830)
  - Use GitHub Actions badges in the README (#882)
  - Use `dune build @check` to build the project (#887)
@@ -100,6 +104,8 @@
  - Use an efficient `String.starts_with` implementation (#912)
  - Fix the Makefile (#914)
  - Add `Logs` dependency (#1206)
+ - Use `dynamic_include` to include the generated file `dune.inc` (#1199)
+ - Support Windows (#1184,#1189,#1195,#1199,#1200)
 
 ### Testing
 
@@ -117,6 +123,7 @@
  - Documentation of the `Enum` theory (#871)
  - Document `Th_util.lit_origin` (#915)
  - Document the CDCL-Tableaux solver (#995)
+ - Document Windows support (#1216)
 
 ## v2.5.4