Updated docs for start of v2.0

Author: MatthewDaggitt

CHANGELOG.md

@@ -1,4 +1,4 @@
-Version 1.8-dev
+Version 2.0-dev
 ===============
 
 The library has been tested using Agda 2.6.2.

README.agda

@@ -3,7 +3,7 @@
 module README where
 
 ------------------------------------------------------------------------
--- The Agda standard library, version 1.7
+-- The Agda standard library, version 2.0
 --
 -- Authors: Nils Anders Danielsson, Matthew Daggitt, Guillaume Allais
 -- with contributions from Andreas Abel, Stevan Andjelkovic,
@@ -18,8 +18,7 @@ module README where
 -- Noam Zeilberger and other anonymous contributors.
 ------------------------------------------------------------------------
 
--- This version of the library has been tested using Agda 2.6.1 and
--- 2.6.1.3.
+-- This version of the library has been tested using Agda 2.6.2.
 
 -- The library comes with a .agda-lib file, for use with the library
 -- management system.

README.md

@@ -5,9 +5,6 @@
 The Agda standard library
 =========================
 
-**NOTE**: The library is currently gearing up for the release of v2.6.2 therefore the
-`master` branch is currently only compatible with release candidate 1 of Agda-2.6.2!
-
 The standard library aims to contain all the tools needed to write both
 programs and proofs easily. While we always try and write efficient
 code, we prioritize ease of proof over type-checking and normalization

agda-stdlib-utils.cabal

@@ -1,5 +1,5 @@
 name:            agda-stdlib-utils
-version:         1.8-dev
+version:         2.0-dev
 cabal-version:   >= 1.10
 build-type:      Simple
 description:     Helper programs.

standard-library.agda-lib

@@ -1,2 +1,2 @@
-name: standard-library-1.8
+name: standard-library-2.0
 include: src