diff --git a/CHANGELOG.md b/CHANGELOG.md
index 871b57ce3..da73a2d35 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# New in 1.0
+
++ It's about time
+
 # New in 0.99.2
 
 ## Library Updates
diff --git a/RELEASE-CHECKS.md b/RELEASE-CHECKS.md
index 37ac9842e..f42936774 100644
--- a/RELEASE-CHECKS.md
+++ b/RELEASE-CHECKS.md
@@ -26,6 +26,7 @@ Things to be checked, or done before a release is made.
 
 + [ ] Push to GITHUB.
 + [ ] Upload to Hackage.
++ [ ] Upload package documentation to web site
 
 ## Binaries
 
diff --git a/docs/conf.py b/docs/conf.py
index 09f1a48a3..fa768289a 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -59,9 +59,9 @@ author = u'The Idris Community'
 # built documents.
 #
 # The short X.Y version.
-version = '0.99.2'
+version = '1.0'
 # The full version, including alpha/beta/rc tags.
-release = '0.99.2'
+release = '1.0'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
diff --git a/docs/listing/idris-prompt-helloworld.txt b/docs/listing/idris-prompt-helloworld.txt
index f3262cd27..36a27cff0 100644
--- a/docs/listing/idris-prompt-helloworld.txt
+++ b/docs/listing/idris-prompt-helloworld.txt
@@ -1,7 +1,7 @@
 $ idris hello.idr
      ____    __     _
     /  _/___/ /____(_)____
-    / // __  / ___/ / ___/     Version 0.99.2
+    / // __  / ___/ / ___/     Version 1.0
   _/ // /_/ / /  / (__  )      http://www.idris-lang.org/
  /___/\__,_/_/  /_/____/       Type :? for help
 
diff --git a/docs/listing/idris-prompt-interp.txt b/docs/listing/idris-prompt-interp.txt
index 5e94c53ef..a4a022a4e 100644
--- a/docs/listing/idris-prompt-interp.txt
+++ b/docs/listing/idris-prompt-interp.txt
@@ -1,7 +1,7 @@
 $ idris interp.idr
      ____    __     _
     /  _/___/ /____(_)____
-    / // __  / ___/ / ___/     Version 0.99.2
+    / // __  / ___/ / ___/     Version 1.0
   _/ // /_/ / /  / (__  )      http://www.idris-lang.org/
  /___/\__,_/_/  /_/____/       Type :? for help
 
diff --git a/docs/listing/idris-prompt-start.txt b/docs/listing/idris-prompt-start.txt
index 393a51a4f..2ffbfa4d9 100644
--- a/docs/listing/idris-prompt-start.txt
+++ b/docs/listing/idris-prompt-start.txt
@@ -1,7 +1,7 @@
 $ idris
     ____    __     _
    /  _/___/ /____(_)____
-   / // __  / ___/ / ___/     Version 0.99.2
+   / // __  / ___/ / ___/     Version 1.0
  _/ // /_/ / /  / (__  )      http://www.idris-lang.org/
 /___/\__,_/_/  /_/____/       Type :? for help
 
diff --git a/idris.cabal b/idris.cabal
index f88303ba4..794f964c9 100644
--- a/idris.cabal
+++ b/idris.cabal
@@ -1,5 +1,5 @@
 Name:           idris
-Version:        0.99.2
+Version:        1.0
 License:        BSD3
 License-file:   LICENSE
 Author:         Edwin Brady
diff --git a/man/idris.1 b/man/idris.1
index 0ca7cb311..286c079d9 100644
--- a/man/idris.1
+++ b/man/idris.1
@@ -1,6 +1,6 @@
 .\" Manpage for Idris.
 .\" Contact <> to correct errors or typos.
-.TH man 1 "26 March 2017" "0.99.2" "Idris man page"
+.TH man 1 "1 April 2017" "1.0" "Idris man page"
 .SH NAME
 idris -\ a general purpose pure functional programming language with dependent types.
 .SH SYNOPSIS