Add info to the CHANGES files

GaloisInc · Sep 28, 2022 · e6acf4e · e6acf4e
1 parent 38ee399
commit e6acf4e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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