Don't claim cubical compiles with the latest agda development version (…

…#717)

* don't say that the library compiles with the latest development version

* Do not mislead in the INSTALL-file

* add a hint in the ci file, where the version of agda is picked

* just 'latest release version' instead of 'latest development version'

Revert "Auxiliary commit to revert individual files from b8f417a"

This reverts commit 997b31e4642329c493628a3f474b38f5ee0bac51.

* fix INSTALL

* Revert "add a hint in the ci file, where the version of agda is picked"

This reverts commit cbc79fc.

* use same wording/formatting as before

* Update INSTALL.md

Co-authored-by: Anders Mörtberg <andersmortberg@gmail.com>

* Update README.md

Co-authored-by: Anders Mörtberg <andersmortberg@gmail.com>

Co-authored-by: Anders Mörtberg <andersmortberg@gmail.com>

INSTALL.md

@@ -1,7 +1,7 @@
 Installation of agda/cubical
 ============================
 
-The cubical library should compile on the latest development version
+The cubical library should compile on the latest official release
 of Agda:
 
 https://github.com/agda/agda

README.md

@@ -1,21 +1,21 @@
 A standard library for Cubical Agda
 ===================================
 
-This library compiles with the master branch of the development
-version of [Agda](https://github.com/agda/agda/). For detailed install
+This library compiles with the latest official release of
+[Agda](https://github.com/agda/agda/). For detailed install
 instructions see the
 [INSTALL](https://github.com/agda/cubical/blob/master/INSTALL.md)
 file.
 
 The source code has a glorious clickable [rendered version](https://agda.github.io/cubical/Cubical.README.html).
 
-If you want to use Agda 2.6.2 instead of the latest development version, you
+If you want to use Agda 2.6.2 instead of the latest release version, you
 can check out the tag `v0.3` of this library.
 
-If you want to use Agda 2.6.1.3 instead of the latest development version, you
+If you want to use Agda 2.6.1.3 instead of the latest release version, you
 can check out the tag `v0.2` of this library.
 
-If you want to use Agda 2.6.0.1 instead of the latest development version, you
+If you want to use Agda 2.6.0.1 instead of the latest release version, you
 can check out the tag `v0.1` of this library.
 
 For some introductory lecture notes see the material for the Cubical Agda course