Merge pull request #2324 from jfdm/update/tutorial-pdf
PDF Tutorial Updates and Version Bump.
commitb75158a84f587015dfb31d71a43eed51de8625e8
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateMon 1 Jun 2015, 11:23 (11 years ago)
parent61e9aa2e57c14a
docs/conf.py+2−2
@@ -59,9 +59,9 @@ author = u'The Idris Community'
5959# built documents.
6060#
6161# The short X.Y version.
62−version = '0.9.17'
62+version = '0.9.18'
6363# The full version, including alpha/beta/rc tags.
64−release = '0.9.17'
64+release = '0.9.18'
6565
6666# The language for content autogenerated by Sphinx. Refer to documentation
6767# for a list of supported languages.
idris-tutorial.pdf
Binary file not shown.