Update documentation for v1.7.2

Author: MatthewDaggitt

LICENCE

@@ -1,4 +1,4 @@
-Copyright (c) 2007-2021 Nils Anders Danielsson, Ulf Norell, Shin-Cheng
+Copyright (c) 2007-2022 Nils Anders Danielsson, Ulf Norell, Shin-Cheng
 Mu, Bradley Hardy, Samuel Bronson, Dan Doel, Patrik Jansson,
 Liang-Ting Chen, Jean-Philippe Bernardy, Andrés Sicard-Ramírez,
 Nicolas Pouillard, Darin Morrison, Peter Berry, Daniel Brown,

README.agda

@@ -3,7 +3,7 @@
 module README where
 
 ------------------------------------------------------------------------
--- The Agda standard library, version 1.7.1
+-- The Agda standard library, version 1.7.2
 --
 -- Authors: Nils Anders Danielsson, Matthew Daggitt, Guillaume Allais
 -- with contributions from Andreas Abel, Stevan Andjelkovic,

README.md

@@ -59,11 +59,11 @@ Most of the library can be type-checked using the `--safe` flag. Please consult
 [GenerateEverything.hs](https://github.com/agda/agda-stdlib/blob/master/GenerateEverything.hs#L23)
 for a full list of modules that use unsafe features.
 
-#### The `--without-k` flag
+#### The `--cubical-compatible` flag
 
-Most of the library can be type-checked using the `--without-k` flag. Please consult
+Most of the library can be type-checked using the `--cubical-compatible` flag. Please consult
 [GenerateEverything.hs](https://github.com/agda/agda-stdlib/blob/master/GenerateEverything.hs#L74)
-for a full list of modules that use axiom K.
+for a full list of modules that use axiom K and are therefore incompatible.
 
 ## Contributing to the library
 

notes/installation-guide.md

@@ -1,19 +1,19 @@
 Installation instructions
 =========================
 
-Use version v1.7.1 of the standard library with Agda 2.6.2.
+Use version v1.7.2 of the standard library with Agda 2.6.2.
 
 1. Navigate to a suitable directory `$HERE` (replace appropriately) where
    you would like to install the library.
 
-2. Download the tarball of v1.7.1 of the standard library. This can either be
+2. Download the tarball of v1.7.2 of the standard library. This can either be
    done manually by visiting the Github repository for the library, or via the
    command line as follows:
    ```
-   wget -O agda-stdlib.tar https://github.com/agda/agda-stdlib/archive/v1.7.1.tar.gz
+   wget -O agda-stdlib.tar https://github.com/agda/agda-stdlib/archive/v1.7.2.tar.gz
    ```
    Note that you can replace `wget` with other popular tools such as `curl` and that
-   you can replace `1.7.1` with any other version of the library you desire.
+   you can replace `1.7.2` with any other version of the library you desire.
 
 3. Extract the standard library from the tarball. Again this can either be
    done manually or via the command line as follows:
@@ -24,14 +24,14 @@ Use version v1.7.1 of the standard library with Agda 2.6.2.
 4. [ OPTIONAL ] If using [cabal](https://www.haskell.org/cabal/) then run
    the commands to install via cabal:
    ```
-   cd agda-stdlib-1.7.1
+   cd agda-stdlib-1.7.2
    cabal install
    ```
 
 5. Register the standard library with Agda's package system by adding
    the following line to `$HOME/.agda/libraries`:
    ```
-   $HERE/agda-stdlib-1.7.1/standard-library.agda-lib
+   $HERE/agda-stdlib-1.7.2/standard-library.agda-lib
    ```
 
 Now, the standard library is ready to be used either:

standard-library.agda-lib

@@ -1,2 +1,2 @@
-name: standard-library-1.7.1
+name: standard-library-1.7.2
 include: src