idris-lang/Idris-dev
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris-dev.git synced 2024-10-04 01:50:20 +03:00
Code Issues Projects Releases Wiki Activity

Updated document versions to 0.11 and updated tutorial pdf.

Browse Source
This commit is contained in:
Jan de Muijnck-Hughes 2016-03-26 09:32:46 +00:00
parent 33037476c3
commit 2137e10c09
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/conf.py
View File

@ -59,9 +59,9 @@ author = u'The Idris Community'
# built documents.
#
# The short X.Y version.
version = '0.10.3'
version = '0.11'
# The full version, including alpha/beta/rc tags.
release = '0.10.3'
release = '0.11'
# The language for content autogenerated by Sphinx. Refer to documentation
# for a list of supported languages.

BIN
idris-tutorial.pdf
View File

Binary file not shown.