diff --git a/CHANGES.md b/CHANGES.md
index 056215cde..8b48294d4 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,4 +1,4 @@
-# UNRELEASED
+# 3.1.0 -- 2024-??-??
 
 ## Language changes
 
@@ -26,13 +26,23 @@
 
 ## Bug fixes
 
-* Fixed #1556, #1237, and #1561.
 * Fixed #1455, making anything in scope of the functor in scope at the REPL as
-  well when an instantiation of the functor is loaded and focused,
-  design choice (3) on the ticket.  In particular, the prelude will be in scope.
+  well when an instantiation of the functor is loaded and focused, design
+  choice (3) on the ticket.  In particular, the prelude will be in scope.
+
 * Fix #1578, which caused `parmap` to crash when evaluated on certain types of
   sequences.
 
+* Closed issues #813, #1237, #1397, #1446, #1486, #1492, #1495, #1537,
+  #1538, #1542, #1544, #1548, #1551, #1552, #1554, #1556, #1561, #1562, #1566,
+  #1567, #1569, #1571, #1584, #1588, #1590, #1598, #1599, #1604, #1605, #1606,
+  #1607, #1609, #1610, #1611, #1612, #1613, #1615, #1616, #1617, #1618, and
+  #1619.
+
+* Merged pull requests #1429, #1512, #1534, #1535, #1536, #1540, #1541, #1543,
+  #1547, #1549, #1550, #1555, #1557, #1558, #1559, #1564, #1565, #1568, #1570,
+  #1572, #1573, #1577, #1579, #1580, #1583, #1585, #1586, #1592, #1600, #1601,
+  and #1602.
 
 # 3.0.0 -- 2023-06-26
 
diff --git a/cryptol-remote-api/CHANGELOG.md b/cryptol-remote-api/CHANGELOG.md
index af06812f9..543f43a60 100644
--- a/cryptol-remote-api/CHANGELOG.md
+++ b/cryptol-remote-api/CHANGELOG.md
@@ -1,8 +1,9 @@
 # Revision history for `cryptol-remote-api` and `cryptol-eval-server`
 
-## 3.0.2 -- YYYY-MM-DD
+## 3.1.0 -- 2024-??-??
 
-*  NEW CHANGELOG ENTRIES SINCE 3.0.1 GO HERE
+* The v3.1.0 release is made in tandem with the Cryptol 3.1.0 release. See the
+  Cryptol 3.1.0 release notes for relevant Cryptol changes.
 
 ## 3.0.1 -- 2023-07-10
 
diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal
index 7bc0b0e96..771127075 100644
--- a/cryptol-remote-api/cryptol-remote-api.cabal
+++ b/cryptol-remote-api/cryptol-remote-api.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.4
 name:                cryptol-remote-api
-version:             3.0.1.99
+version:             3.1.0.99
 license:             BSD-3-Clause
 license-file:        LICENSE
 author:              Galois, Inc.
diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
index 5953664b3..d09e58f48 100644
--- a/cryptol-remote-api/python/CHANGELOG.md
+++ b/cryptol-remote-api/python/CHANGELOG.md
@@ -1,8 +1,9 @@
 # Revision history for `cryptol` Python package
 
-## 3.0.2 -- YYYY-MM-DD
+## 3.1.0 -- 2024-??-??
 
-*  NEW CHANGELOG ENTRIES SINCE 3.0.1 GO HERE
+* The v3.1.0 release is made in tandem with the Cryptol 3.1.0 release. See the
+  Cryptol 3.1.0 release notes for relevant Cryptol changes.
 
 ## 3.0.1 -- 2023-07-10
 
diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml
index 5e6e594d8..e049e4f79 100644
--- a/cryptol-remote-api/python/pyproject.toml
+++ b/cryptol-remote-api/python/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "cryptol"
-version = "3.0.1.99"
+version = "3.1.0.99"
 readme = "README.md"
 keywords = ["cryptography", "verification"]
 description = "Cryptol client for the Cryptol RPC server"
diff --git a/cryptol.cabal b/cryptol.cabal
index a80fc4af7..a663d38b4 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -1,6 +1,6 @@
 Cabal-version:       2.4
 Name:                cryptol
-Version:             3.0.0.99
+Version:             3.1.0.99
 Synopsis:            Cryptol: The Language of Cryptography
 Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see <http://www.cryptol.net/>.
 License:             BSD-3-Clause