From e371823b6e2c2d617d95944fff574c609b32f6b3 Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Sat, 1 Apr 2017 09:13:25 +0100 Subject: [PATCH] Update version numbers --- CHANGELOG.md | 4 ++++ RELEASE-CHECKS.md | 1 + docs/conf.py | 4 ++-- docs/listing/idris-prompt-helloworld.txt | 2 +- docs/listing/idris-prompt-interp.txt | 2 +- docs/listing/idris-prompt-start.txt | 2 +- idris.cabal | 2 +- man/idris.1 | 2 +- 8 files changed, 12 insertions(+), 7 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 871b57ce38..da73a2d350 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 37ac9842e7..f42936774a 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 09f1a48a3f..fa768289aa 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -59,9 +59,9 @@ # 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 f3262cd27e..36a27cff0d 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 5e94c53efa..a4a022a4e8 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 393a51a4ff..2ffbfa4d92 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 f88303ba4d..794f964c96 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 0ca7cb3118..286c079d97 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