Skip to content
Snippets Groups Projects
Commit e6b17ca4 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

CHANGELOG entry.

parent 4680e914
No related branches found
No related tags found
1 merge request!134Lemmas for `list_find` in combination with `app` and `insert`.
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
CHANGELOG.md
+ 1
− 0
View file @ e6b17ca4
...@@ -15,6 +15,7 @@ API-breaking change is listed. ...@@ -15,6 +15,7 @@ API-breaking change is listed.
imports `list.v`, but not the prelude. imports `list.v`, but not the prelude.
- Rename `drop_insert` into `drop_insert_gt` and add `drop_insert_le`. - Rename `drop_insert` into `drop_insert_gt` and add `drop_insert_le`.
- Added `Countable` instance for `Ascii.ascii`. - Added `Countable` instance for `Ascii.ascii`.
- Make lemma `list_find_Some` more apply friendly.
## std++ 1.3 (released 2020-03-18) ## std++ 1.3 (released 2020-03-18)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment