diff --git a/Changelog b/Changelog
index 541422a3b90faa56c8011d4d6364c80d7a7f9178..2670a87d15377ce139cc73900ec62ed3d95209f5 100644
--- a/Changelog
+++ b/Changelog
@@ -41,14 +41,6 @@ o   Eva       [2024-07-31] Export profiling information about the analysis
               performance via the new module Eva_perf in Eva.mli.
 -   Ivette    [2024-07-26] New flamegraph component to visualize Eva analysis
               time by C functions, in the "Eva Summary" view by default.
--   Kernel    [2024-06-21] Support for ACSL (and external) modules.
--   Kernel    [2024-06-21] New debug category printer:imported-modules
-o   Dev       [2024-06-21] New ACSL extension for external modules
-o!  Dev       [2024-06-21] Move functions for finding logic types, functions,
-              predicates and constructors from Logic_typing to Logic_env.
-o   Dev       [2024-04-22] Remove frama-c-build-scripts.sh;
-              add a section in the user manual about how to manually
-              replace it.
 -   Kernel    [2024-05-20] New ACSL extension loop unfold (replaces loop pragma UNROLL)
 -!  Kernel    [2024-05-20] Removed loop pragma UNROLL annotations
 o!  Kernel    [2024-05-20] Renamed module Unroll_loop into Unfold_loop
@@ -72,12 +64,6 @@ o   Dev       [2024-04-22] Remove frama-c-build-scripts.sh; add a section in
 -   Eva       [2024-04-18] Remove support for deprecated WIDEN_HINTS loop pragma.
               Use ACSL extension "widen_hints" instead.
 o   Kernel    [2024-04-17] Remove deprecated funcs Extlib.string_{pre,suf}fix
--   Kernel    [2024-04-22] Support for ACSL modules. o!  Dev       [2024-04-22]
-Move functions for finding logic types, functions, predicates and constructors
-              from Logic_typing to Logic_env. o   Dev       [2024-04-22] Remove
-frama-c-build-scripts.sh; add a section in the user manual about how to manually
-              replace it. o   Kernel    [2024-04-17] Remove deprecated funcs
-Extlib.string_{pre,suf}fix
 -   Alias     [2024-04-16] Fix analysis results in the presence of structures.
               Complete rework of the API. Improved documentation. Fix stack
               overflow in case of a cyclic graph.