From 889e5398aa888c307966c0b1cfbb00dc78b1b37d Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 24 Mar 2020 12:33:33 +0000 Subject: [PATCH] Update changelog Signed-off-by: Jeremie Dimino --- CHANGES.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 9fb01d02f75e..93d4d9bf2b5d 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -17,6 +17,10 @@ Unreleased - [coq] Support for theory dependencies and compositional builds using new field `(theories ...)` (#2053, @ejgallego, @rgrinberg) +- Add a `toplevel-init-file` command to integrate dune with any + toplevel, not just utop. It is meant to be used with the new + `#use_output` directive of OCaml 4.11 (#2952, @mbernat, @diml) + 2.4.0 (06/03/2020) ------------------