Changelog!

GaloisInc · Sep 19, 2024 · 9fed2c5 · 9fed2c5
1 parent 33cc874
commit 9fed2c5
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Revision history for `cryptol` Python package
 
+## next
+
+* Add `modules` command to return the modules, submodules and associated
+  documentation for them.
+
 ## 3.2.1 -- 2024-08-18
 
 * Require building with `argo-client-0.0.13` or later. `argo-client-0.0.13` uses