From e6acf4ecb7d9870a7d6c985a28cb248da2920a38 Mon Sep 17 00:00:00 2001
From: Iavor Diatchki <iavor.diatchki@gmail.com>
Date: Wed, 28 Sep 2022 09:37:12 +0300
Subject: [PATCH] Add info to the CHANGES files

---
 CHANGES.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index d56d22c09..87a6c0a84 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -23,6 +23,10 @@
 
 * Add a `:time` command to benchmark the evaluation time of expressions.
 
+* Add support for literate Cryptol using reStructuredText.  Cryptol code
+  is extracted from `.. code-block:: cryptol` and `.. sourcecode:: cryptol`
+  directives.
+
 ## Bug fixes
 
 * Fix a bug in the What4 backend that could cause applications of `(@)` with