Commits · 754354861067b01eb7261fdfc729ffdf869eb05c · Thibaut Pérami / stdpp

Aug 29, 2019
- release 1.2.1 · 75435486
  Ralf Jung authored 5 years ago
  
  coq-stdpp-1.2.1
  
  75435486
Aug 24, 2019
- Credit @dfrumin in CHANGELOG. · adfc24d2
  Robbert Krebbers authored 5 years ago
  
  adfc24d2
Aug 14, 2019
- Changelog tweaks, e.g. order contributes by first name. · 0b3d1e9f
  Robbert Krebbers authored 5 years ago
  
  0b3d1e9f
- Add new lemmas for list, set, and map operations. · 6bc8803a
  Paulo Emílio de Vilhena authored 5 years ago
  
  6bc8803a
Aug 13, 2019
- More lemmas about [map_imap]. · f37ad033
  Rodolphe Lepigre authored 5 years ago and Robbert Krebbers committed 5 years ago
  
  f37ad033
Aug 07, 2019
- 1.2.1 release notes · 956644ce
  Ralf Jung authored 5 years ago
  
  956644ce
Apr 26, 2019
- release version 1.2.0 · 10bc4e2a
  Ralf Jung authored 5 years ago
  
  coq-stdpp-1.2.0
  
  10bc4e2a
- Rename `NoBackTrack` into `TCNoBackTrack`. · 32eab16e
  Robbert Krebbers authored 5 years ago
  
  32eab16e
- Update CHANGELOG.md · b52e911c
  Ralf Jung authored 5 years ago
  
  b52e911c
- CHANGELOG. · 65f8c130
  Robbert Krebbers authored 5 years ago
  
  65f8c130
Feb 20, 2019
- CHANGELOG entry about the big set/map rename. · 3c484ebe
  Robbert Krebbers authored 6 years ago
  
  3c484ebe
Dec 19, 2017
- put release date into changelog · 11b9fbe1
  Ralf Jung authored 7 years ago
  
  11b9fbe1
Dec 18, 2017
- expand changelog · 1dafe0b6
  Ralf Jung authored 7 years ago
  
  1dafe0b6
- some README changes · 5425c9b1
  Ralf Jung authored 7 years ago
  
  5425c9b1
- fix changelog wording · b6f2f9e2
  Ralf Jung authored 7 years ago
  
  b6f2f9e2
- fix changelog typos · 4b8807b2
  Ralf Jung authored 7 years ago
  
  4b8807b2
- Start working on a CHANGELOG. · d3169b50
  Robbert Krebbers authored 7 years ago
  
  d3169b50