Update documentation for v2.2 release

agda · Jan 15, 2025 · 6cd04e4 · 6cd04e4
1 parent d85cd7e
commit 6cd04e4
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 6 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -86,8 +86,6 @@ Deprecated names
   ```agda
   split  ↦  ↭-split
   ```
-  with a more informative type (see below).
-  ```
 
 * In `Data.List.Relation.Unary.All.Properties`:
   ```agda

diff --git a/CITATION.cff b/CITATION.cff
@@ -3,6 +3,6 @@ message: "If you use this software, please cite it as below."
 authors:
 - name: "The Agda Community"
 title: "Agda Standard Library"
-version: 2.1.1
-date-released: 2024-09-07
+version: 2.2
+date-released: 2025-01-15
 url: "https://github.com/agda/agda-stdlib"
diff --git a/doc/README.agda b/doc/README.agda
@@ -3,7 +3,7 @@
 module README where
 
 ------------------------------------------------------------------------
--- The Agda standard library, version 2.1.1
+-- The Agda standard library, version 2.2
 --
 -- Authors: Nils Anders Danielsson, Matthew Daggitt, Guillaume Allais
 -- with contributions from Andreas Abel, Stevan Andjelkovic,
@@ -19,7 +19,8 @@ module README where
 -- and other anonymous contributors.
 ------------------------------------------------------------------------
 
--- This version of the library has been tested using Agda 2.7.0
+-- This version of the library has been tested using Agda 2.7.0 and
+-- 2.7.0.1
 
 -- The library comes with a .agda-lib file, for use with the library
 -- management system.
-Original file line number
+Diff line change
@@ Expand Up / @@ -86,8 +86,6 @@ Deprecated names @@
       ```agda
       split  ↦  ↭-split
       ```
-      with a more informative type (see below).
-      ```
     * In `Data.List.Relation.Unary.All.Properties`:
       ```agda
@@ Expand Down @@