Update version numbers
commite371823b6e2c2d617d95944fff574c609b32f6b3
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 1 Apr 2017, 09:13 (10 years ago)
parent40ae2c9
CHANGELOG.md+4
@@ -1,3 +1,7 @@
1+# New in 1.0
2+
3++ It's about time
4+
15# New in 0.99.2
26
37## Library Updates
RELEASE-CHECKS.md+1
@@ -26,6 +26,7 @@ Things to be checked, or done before a release is made.
2626
2727+ [ ] Push to GITHUB.
2828+ [ ] Upload to Hackage.
29++ [ ] Upload package documentation to web site
2930
3031## Binaries
3132
docs/conf.py+2−2
@@ -59,9 +59,9 @@ author = u'The Idris Community'
5959# built documents.
6060#
6161# The short X.Y version.
62−version = '0.99.2'
62+version = '1.0'
6363# The full version, including alpha/beta/rc tags.
64−release = '0.99.2'
64+release = '1.0'
6565
6666# The language for content autogenerated by Sphinx. Refer to documentation
6767# for a list of supported languages.
docs/listing/idris-prompt-helloworld.txt+1−1
@@ -1,7 +1,7 @@
11$ idris hello.idr
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.99.2
4+ / // __ / ___/ / ___/ Version 1.0
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66 /___/\__,_/_/ /_/____/ Type :? for help
77
docs/listing/idris-prompt-interp.txt+1−1
@@ -1,7 +1,7 @@
11$ idris interp.idr
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.99.2
4+ / // __ / ___/ / ___/ Version 1.0
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66 /___/\__,_/_/ /_/____/ Type :? for help
77
docs/listing/idris-prompt-start.txt+1−1
@@ -1,7 +1,7 @@
11$ idris
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.99.2
4+ / // __ / ___/ / ___/ Version 1.0
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66/___/\__,_/_/ /_/____/ Type :? for help
77
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.99.2
2+Version: 1.0
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady
man/idris.1+1−1
@@ -1,6 +1,6 @@
11.\" Manpage for Idris.
22.\" Contact <> to correct errors or typos.
3−.TH man 1 "26 March 2017" "0.99.2" "Idris man page"
3+.TH man 1 "1 April 2017" "1.0" "Idris man page"
44.SH NAME
55idris -\ a general purpose pure functional programming language with dependent types.
66.SH SYNOPSIS