From e38c1ea4b893cfae04ae03a2ef6d439b97f9172f Mon Sep 17 00:00:00 2001 From: Paul-Elliot Date: Thu, 21 Sep 2023 13:08:41 +0200 Subject: [PATCH] Changelog entry for #1184 Signed-off-by: Paul-Elliot --- CHANGES.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES.md b/CHANGES.md index 451412c43..7c50f1a83 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -7,6 +7,7 @@ ## Features +- Support tables, and "codeblock output", in the odoc language (#1184) - Display text of references in doc strings (#1166) - Add mark/remove unused actions for open, types, for loop indexes, modules, match cases, rec, and constructors (#1141)