From 0b3d1e9f671bdaa795bd443f39c4e1f83e694f66 Mon Sep 17 00:00:00 2001 From: Robbert Krebbers <mail@robbertkrebbers.nl> Date: Thu, 15 Aug 2019 00:13:23 +0200 Subject: [PATCH] Changelog tweaks, e.g. order contributes by first name. --- CHANGELOG.md | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 892d66b2..9dd2e7a7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,17 +4,17 @@ API-breaking change is listed. ## std++ 1.2.1 (unreleased) This release of std++ received contributions by Michael Sammler, Paolo -G. Giarrusso, Ralf Jung, Robbert Krebbers, Simon Spies, Rodolphe Lepigre and -Paulo EmÃlio de Vilhena. +G. Giarrusso, Paulo EmÃlio de Vilhena, Ralf Jung, Robbert Krebbers, +Rodolphe Lepigre, and Simon Spies. Noteworthy additions and changes: -- `max` and `min` infix notations for `N` and `Z` like we have for `nat`. +- Introduce `max` and `min` infix notations for `N` and `Z` like we have for `nat`. - Make `solve_ndisj` tactic more powerful. -- Add typeclass `Involutive`. -- Improved `naive_solver` performance in case the goal is trivially solvable. -- A bunch of new lemmas for list, set, and map operations. -- `lookup_imap` renamed into `map_lookup_imap`. +- Add type class `Involutive`. +- Improve `naive_solver` performance in case the goal is trivially solvable. +- Add a bunch of new lemmas for list, set, and map operations. +- Rename `lookup_imap` into `map_lookup_imap`. ## std++ 1.2.0 (released 2019-04-26) -- GitLab