on master help sign in
Updated document versions to 0.11 and updated tutorial pdf.
2137e10Jan de Muijnck-Hughes
docs/conf.py+2−2
@@ -59,9 +59,9 @@ author = u'The Idris Community'
59# built documents.
59# built documents.
60#
60#
61# The short X.Y version.
61# The short X.Y version.
62−version = '0.10.3'
62+version = '0.11'
63# The full version, including alpha/beta/rc tags.
63# The full version, including alpha/beta/rc tags.
64−release = '0.10.3'
64+release = '0.11'
65
65
66# The language for content autogenerated by Sphinx. Refer to documentation
66# The language for content autogenerated by Sphinx. Refer to documentation
67# for a list of supported languages.
67# for a list of supported languages.
idris-tutorial.pdf

Binary file not shown.