git.iko.soy/Idris-dev
on master help sign in
Update version numbers ready for release
commit9549d9cb9ac5922154f3a11504df7d2488f0cd72 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateMon 22 Jul 2019, 11:36 (7 years ago) parent16754f7
7 files changed+8−8
compare with master
unifiedsplit
CHANGELOG.md+2−2 docs/conf.py+1−1 docs/listing/idris-prompt-helloworld.txt+1−1 docs/listing/idris-prompt-interp.txt+1−1 docs/listing/idris-prompt-start.txt+1−1 idris.cabal+1−1 man/idris.1+1−1
CHANGELOG.md+2−2
@@ -1,9 +1,9 @@
1−# New in next version
1+# New in 1.3.2
22+ Documentation added to proof section
33
4−
54## Library updates
65+ `openFile` opens the file in binary mode on Windows.
6++ Added library functions `clockTime` and `fRemove`
77
88## Tool updates
99+ Modules no longer require building if imports have changed but all
docs/conf.py+1−1
@@ -61,7 +61,7 @@ author = u'The Idris Community'
6161# The short X.Y version.
6262version = '1.3'
6363# The full version, including alpha/beta/rc tags.
64−release = '1.3.1'
64+release = '1.3.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 1.3.1
4+ / // __ / ___/ / ___/ Version 1.3.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 1.3.1
4+ / // __ / ___/ / ___/ Version 1.3.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 1.3.1
4+ / // __ / ___/ / ___/ Version 1.3.2
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66/___/\__,_/_/ /_/____/ Type :? for help
77
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 1.3.1
2+Version: 1.3.2
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 "23 October 2018" "1.3.1" "Idris man page"
3+.TH man 1 "23 October 2018" "1.3.2" "Idris man page"
44.SH NAME
55idris -\ a general purpose pure functional programming language with dependent types.
66.SH SYNOPSIS