Skip to content

Commit

Permalink
Update version numbers
Browse files Browse the repository at this point in the history
  • Loading branch information
edwinb committed Apr 1, 2017
1 parent 40ae2c9 commit e371823
Show file tree
Hide file tree
Showing 8 changed files with 12 additions and 7 deletions.
4 changes: 4 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
# New in 1.0

+ It's about time

# New in 0.99.2

## Library Updates
Expand Down
1 change: 1 addition & 0 deletions RELEASE-CHECKS.md
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ Things to be checked, or done before a release is made.

+ [ ] Push to GITHUB.
+ [ ] Upload to Hackage.
+ [ ] Upload package documentation to web site

## Binaries

Expand Down
4 changes: 2 additions & 2 deletions docs/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -59,9 +59,9 @@
# built documents.
#
# The short X.Y version.
version = '0.99.2'
version = '1.0'
# The full version, including alpha/beta/rc tags.
release = '0.99.2'
release = '1.0'

# The language for content autogenerated by Sphinx. Refer to documentation
# for a list of supported languages.
Expand Down
2 changes: 1 addition & 1 deletion docs/listing/idris-prompt-helloworld.txt
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
$ idris hello.idr
____ __ _
/ _/___/ /____(_)____
/ // __ / ___/ / ___/ Version 0.99.2
/ // __ / ___/ / ___/ Version 1.0
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
/___/\__,_/_/ /_/____/ Type :? for help

Expand Down
2 changes: 1 addition & 1 deletion docs/listing/idris-prompt-interp.txt
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
$ idris interp.idr
____ __ _
/ _/___/ /____(_)____
/ // __ / ___/ / ___/ Version 0.99.2
/ // __ / ___/ / ___/ Version 1.0
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
/___/\__,_/_/ /_/____/ Type :? for help

Expand Down
2 changes: 1 addition & 1 deletion docs/listing/idris-prompt-start.txt
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
$ idris
____ __ _
/ _/___/ /____(_)____
/ // __ / ___/ / ___/ Version 0.99.2
/ // __ / ___/ / ___/ Version 1.0
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
/___/\__,_/_/ /_/____/ Type :? for help

Expand Down
2 changes: 1 addition & 1 deletion idris.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Name: idris
Version: 0.99.2
Version: 1.0
License: BSD3
License-file: LICENSE
Author: Edwin Brady
Expand Down
2 changes: 1 addition & 1 deletion man/idris.1
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
.\" Manpage for Idris.
.\" Contact <> to correct errors or typos.
.TH man 1 "26 March 2017" "0.99.2" "Idris man page"
.TH man 1 "1 April 2017" "1.0" "Idris man page"
.SH NAME
idris -\ a general purpose pure functional programming language with dependent types.
.SH SYNOPSIS
Expand Down

0 comments on commit e371823

Please sign in to comment.