Merge pull request #3178 from jfdm/update-versions-in-rest-of-project
Update version numbers.
commitc326d841c9e4e3d1826a83416d9e85ccb337e3bc
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateWed 18 May 2016, 15:43 (10 years ago)
parentb1e0c02bb400de
docs/conf.py+1−1
@@ -61,7 +61,7 @@ author = u'The Idris Community'
6161# The short X.Y version.
6262version = '0.11'
6363# The full version, including alpha/beta/rc tags.
64−release = '0.11'
64+release = '0.11.2'
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.11
4+ / // __ / ___/ / ___/ Version 0.11.2
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.11
4+ / // __ / ___/ / ___/ Version 0.11.2
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.11
4+ / // __ / ___/ / ___/ Version 0.11.2
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66/___/\__,_/_/ /_/____/ Type :? for help
77
man/idris.1+1−1
@@ -1,6 +1,6 @@
11.\" Manpage for Idris.
22.\" Contact <> to correct errors or typos.
3−.TH man 1 "25 March 2016" "0.11" "Idris man page"
3+.TH man 1 "25 March 2016" "0.11.2" "Idris man page"
44.SH NAME
55idris -\ a general purpose pure functional programming language with dependent types.
66.SH SYNOPSIS