Skip to content

Commit

Permalink
Update changelog
Browse files Browse the repository at this point in the history
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
  • Loading branch information
jeremiedimino committed Mar 24, 2020
1 parent 622ae66 commit 889e539
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -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)
------------------

Expand Down

0 comments on commit 889e539

Please sign in to comment.