Merge pull request #1317 from GaloisInc/rpc/clean-cryptoltypes-2

[RPC] Finish cleaning cryptoltypes.py
GaloisInc · Dec 23, 2021 · 34404d7 · 34404d7
2 parents 08cd609 + 6685a6b
commit 34404d7
Show file tree

Hide file tree

Showing 9 changed files with 270 additions and 318 deletions.
diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
@@ -1,6 +1,10 @@
 # Revision history for `cryptol` Python package
 
-## 2.12.2 -- YYYY-MM-DD
+## 2.12.4 -- YYYY-MM-DD
+
+* NEW CHANGELOG ENTRIES SINCE 2.12.2 GO HERE
+
+## 2.12.2 -- 2021-12-21
 
 * Add an interface for Cryptol quasiquotation using an f-string-like syntax,
   see `tests/cryptol/test_quoting` for some examples.