diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md index 1ff5c056..c30594e9 100644 --- a/cryptol-remote-api/python/CHANGELOG.md +++ b/cryptol-remote-api/python/CHANGELOG.md @@ -1,5 +1,11 @@ # Revision history for `cryptol` Python package +## 3.0.1 -- YYYY-MM-DD + +* Update `cry_f` to property handle strings, length-0 `BV`s, and 1-tuples +* Add `version` command for fetching Cryptol/`cryptol-remote-api` version + information + ## 3.0.0 -- 2023-06-26 * The v3.0.0 release is made in tandem with the Cryptol 3.0.0 release. See the