git.iko.soy/Idris-dev
on master help sign in
Update version numbers.
bb400deJan de Muijnck-Hughes
docs/conf.py+1−1
compare with master
unifiedsplit
@@ -61,7 +61,7 @@ author = u'The Idris Community'
61# The short X.Y version.
61# The short X.Y version.
62version = '0.11'
62version = '0.11'
63# The full version, including alpha/beta/rc tags.
63# The full version, including alpha/beta/rc tags.
64−release = '0.11'
64+release = '0.11.2'
65
65
66# The language for content autogenerated by Sphinx. Refer to documentation
66# The language for content autogenerated by Sphinx. Refer to documentation
67# for a list of supported languages.
67# for a list of supported languages.
docs/listing/idris-prompt-helloworld.txt+1−1
@@ -1,7 +1,7 @@
1$ idris hello.idr
1$ idris hello.idr
2 ____ __ _
2 ____ __ _
3 / _/___/ /____(_)____
3 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.11
4+ / // __ / ___/ / ___/ Version 0.11.2
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
6 /___/\__,_/_/ /_/____/ Type :? for help
6 /___/\__,_/_/ /_/____/ Type :? for help
7
7
docs/listing/idris-prompt-interp.txt+1−1
@@ -1,7 +1,7 @@
1$ idris interp.idr
1$ idris interp.idr
2 ____ __ _
2 ____ __ _
3 / _/___/ /____(_)____
3 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.11
4+ / // __ / ___/ / ___/ Version 0.11.2
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
6 /___/\__,_/_/ /_/____/ Type :? for help
6 /___/\__,_/_/ /_/____/ Type :? for help
7
7
docs/listing/idris-prompt-start.txt+1−1
@@ -1,7 +1,7 @@
1$ idris
1$ idris
2 ____ __ _
2 ____ __ _
3 / _/___/ /____(_)____
3 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.11
4+ / // __ / ___/ / ___/ Version 0.11.2
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
5 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
6/___/\__,_/_/ /_/____/ Type :? for help
6/___/\__,_/_/ /_/____/ Type :? for help
7
7
man/idris.1+1−1
@@ -1,6 +1,6 @@
1.\" Manpage for Idris.
1.\" Manpage for Idris.
2.\" Contact <> to correct errors or typos.
2.\" 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"
4.SH NAME
4.SH NAME
5idris -\ a general purpose pure functional programming language with dependent types.
5idris -\ a general purpose pure functional programming language with dependent types.
6.SH SYNOPSIS
6.SH SYNOPSIS