mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-11 08:55:23 +03:00
Update version numbers
This commit is contained in:
parent
40ae2c944b
commit
e371823b6e
@ -1,3 +1,7 @@
|
||||
# New in 1.0
|
||||
|
||||
+ It's about time
|
||||
|
||||
# New in 0.99.2
|
||||
|
||||
## Library Updates
|
||||
|
@ -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
|
||||
|
||||
|
@ -59,9 +59,9 @@ author = u'The Idris Community'
|
||||
# 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.
|
||||
|
@ -1,7 +1,7 @@
|
||||
$ idris hello.idr
|
||||
____ __ _
|
||||
/ _/___/ /____(_)____
|
||||
/ // __ / ___/ / ___/ Version 0.99.2
|
||||
/ // __ / ___/ / ___/ Version 1.0
|
||||
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
|
||||
/___/\__,_/_/ /_/____/ Type :? for help
|
||||
|
||||
|
@ -1,7 +1,7 @@
|
||||
$ idris interp.idr
|
||||
____ __ _
|
||||
/ _/___/ /____(_)____
|
||||
/ // __ / ___/ / ___/ Version 0.99.2
|
||||
/ // __ / ___/ / ___/ Version 1.0
|
||||
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
|
||||
/___/\__,_/_/ /_/____/ Type :? for help
|
||||
|
||||
|
@ -1,7 +1,7 @@
|
||||
$ idris
|
||||
____ __ _
|
||||
/ _/___/ /____(_)____
|
||||
/ // __ / ___/ / ___/ Version 0.99.2
|
||||
/ // __ / ___/ / ___/ Version 1.0
|
||||
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
|
||||
/___/\__,_/_/ /_/____/ Type :? for help
|
||||
|
||||
|
@ -1,5 +1,5 @@
|
||||
Name: idris
|
||||
Version: 0.99.2
|
||||
Version: 1.0
|
||||
License: BSD3
|
||||
License-file: LICENSE
|
||||
Author: Edwin Brady
|
||||
|
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user