From 6da05b7a9a4c1df0bbd67a33a836ae6b90761d3b Mon Sep 17 00:00:00 2001
From: Michael Sammler <noreply@sammler.me>
Date: Thu, 11 Apr 2024 08:58:37 +0200
Subject: [PATCH] add change log entry for bitvector package and remove
stdpp_unstable/.keep
---
CHANGELOG.md | 5 +++++
stdpp_unstable/.keep | 0
2 files changed, 5 insertions(+)
delete mode 100644 stdpp_unstable/.keep
diff --git a/CHANGELOG.md b/CHANGELOG.md
index cec2faf0..1948142c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -32,6 +32,11 @@ Coq 8.19 is newly supported by this version of std++.
`{[ (x, y) : nat * nat | x = y ]}`. (by Thibaut Pérami)
- Add `inv select` and `inversion select` tactics that allow selecting the
to-be-inverted hypothesis with a pattern.
+- Create a `coq-stdpp-bitvector` package containing the previously
+ unstable `bitvector` library. Users of the library need to change
+ the import path from `stdpp.unstable.bitvector` to
+ `stdpp.bitvector.bitvector` and from `stdpp.unstable.bitvector_tactics` to
+ `stdpp.bitvector.tactics`.
The following `sed` script should perform most of the renaming
(on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
diff --git a/stdpp_unstable/.keep b/stdpp_unstable/.keep
deleted file mode 100644
index e69de29b..00000000
--
GitLab