[commit: ghc] master: users_guide: Move 7.12.1-notes to 8.0.1-notes (2e49c8c)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/2e49c8cb7cb04a02461fe0b2c47e1c738acc833f/ghc

>---------------------------------------------------------------

commit 2e49c8cb7cb04a02461fe0b2c47e1c738acc833f
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Tue Dec 29 14:16:46 2015 +0100

    users_guide: Move 7.12.1-notes to 8.0.1-notes


>---------------------------------------------------------------

2e49c8cb7cb04a02461fe0b2c47e1c738acc833f
 docs/users_guide/{7.12.1-notes.rst => 8.0.1-notes.rst} | 6 +++---
 docs/users_guide/glasgow_exts.rst                      | 2 +-
 docs/users_guide/index.rst                             | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/docs/users_guide/7.12.1-notes.rst b/docs/users_guide/8.0.1-notes.rst
similarity index 99%
rename from docs/users_guide/7.12.1-notes.rst
rename to docs/users_guide/8.0.1-notes.rst
index 6553fba..0aa221d 100644
--- a/docs/users_guide/7.12.1-notes.rst
+++ b/docs/users_guide/8.0.1-notes.rst
@@ -1,7 +1,7 @@
-.. _release-7-12-1:
+.. _release-8-0-1:
 
-Release notes for version 7.12.1
-================================
+Release notes for version 8.0.1
+===============================
 
 The significant changes to the various parts of the compiler are listed
 in the following sections. There have also been numerous bug fixes and
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 8a5b9b6..961a378 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -7017,7 +7017,7 @@ which implicitly defines an instance of the form
 Injective type families
 -----------------------
 
-Starting with GHC 7.12 type families can be annotated with injectivity
+Starting with GHC 8.0 type families can be annotated with injectivity
 information. This information is then used by GHC during type checking
 to resolve type ambiguities in situations where a type variable appears
 only under type family applications.
diff --git a/docs/users_guide/index.rst b/docs/users_guide/index.rst
index 3f1f381..bb6b09a 100644
--- a/docs/users_guide/index.rst
+++ b/docs/users_guide/index.rst
@@ -12,7 +12,7 @@ Contents:
 
    license
    intro
-   7.12.1-notes
+   8.0.1-notes
    ghci
    runghc
    usage