Skip to content

Commit 61cf812

Browse files
committed
Update version number
1 parent 3b35e39 commit 61cf812

7 files changed

+8
-8
lines changed

CHANGELOG.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# New in 1.3.*
1+
# New in 1.3.0
22

33
## Language updates
44
+ Old 'induction' tactics and eliminator generation functionality ('%elim', '%case', 'elim_for') is no longer supported.

docs/conf.py

+2-2
Original file line numberDiff line numberDiff line change
@@ -59,9 +59,9 @@
5959
# built documents.
6060
#
6161
# The short X.Y version.
62-
version = '1.2'
62+
version = '1.3'
6363
# The full version, including alpha/beta/rc tags.
64-
release = '1.2.0'
64+
release = '1.3.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
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
$ idris hello.idr
22
____ __ _
33
/ _/___/ /____(_)____
4-
/ // __ / ___/ / ___/ Version 1.2.0
4+
/ // __ / ___/ / ___/ Version 1.3.0
55
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
66
/___/\__,_/_/ /_/____/ Type :? for help
77

docs/listing/idris-prompt-interp.txt

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
$ idris interp.idr
22
____ __ _
33
/ _/___/ /____(_)____
4-
/ // __ / ___/ / ___/ Version 1.2.0
4+
/ // __ / ___/ / ___/ Version 1.3.0
55
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
66
/___/\__,_/_/ /_/____/ Type :? for help
77

docs/listing/idris-prompt-start.txt

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
$ idris
22
____ __ _
33
/ _/___/ /____(_)____
4-
/ // __ / ___/ / ___/ Version 1.2.0
4+
/ // __ / ___/ / ___/ Version 1.3.0
55
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
66
/___/\__,_/_/ /_/____/ Type :? for help
77

idris.cabal

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
Name: idris
2-
Version: 1.2.0
2+
Version: 1.3.0
33
License: BSD3
44
License-file: LICENSE
55
Author: Edwin Brady

man/idris.1

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
.\" Manpage for Idris.
22
.\" Contact <> to correct errors or typos.
3-
.TH man 1 "7 January 2018" "1.2.0" "Idris man page"
3+
.TH man 1 "26 May 2018" "1.3.0" "Idris man page"
44
.SH NAME
55
idris -\ a general purpose pure functional programming language with dependent types.
66
.SH SYNOPSIS

0 commit comments

Comments
 (0)