bb400deUpdate version numbers.Jan de Muijnck-Hughes10 years ago 2137e10Updated document versions to 0.11 and updated tutorial pdf.Jan de Muijnck-Hughes11 years ago 5f1e116Version increment docs.Jan de Muijnck-Hughes11 years ago c1ee3fdBumped doc version into alignment with src.Jan de Muijnck-Hughes11 years ago 261455fUser Docs updatesJan de Muijnck-Hughes11 years ago 7b24211Bumped version number for docs.Jan de Muijnck-Hughes11 years ago af98ee2Bumped doc version numberJan de Muijnck-Hughes11 years ago 572d70fModified conf.py to work locally if rtd-theme is not installed.Jan de Muijnck-Hughes12 years ago a687f5dCan build docs locally using ReadTheDocs Theme.Jan de Muijnck-Hughes12 years ago 237c783Updated theme to work woth read the docs.Jan de Muijnck-Hughes12 years ago f572cd0Fixed version number in conf to be 0.9.17Jan de Muijnck-Hughes12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago