From 58f2d0dd07e51f8aa5b348a522691097b6695d1c Mon Sep 17 00:00:00 2001 From: Felix Cherubini Date: Fri, 11 Feb 2022 11:45:20 +0100 Subject: [PATCH] Don't claim cubical compiles with the latest agda development version (#717) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 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 b8f417ab1cfa310f24ae67ee097ce56b2edf6170" This reverts commit 997b31e4642329c493628a3f474b38f5ee0bac51. * fix INSTALL * Revert "add a hint in the ci file, where the version of agda is picked" This reverts commit cbc79fcdf1b2b7baeac867a5514f6585b95c6417. * use same wording/formatting as before * Update INSTALL.md Co-authored-by: Anders Mörtberg * Update README.md Co-authored-by: Anders Mörtberg Co-authored-by: Anders Mörtberg --- INSTALL.md | 2 +- README.md | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index bfcdb881ec..959379c137 100644 --- a/INSTALL.md +++ b/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 diff --git a/README.md b/README.md index 03cc0acbea..9ba817846e 100644 --- a/README.md +++ b/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