1510fceUpdate version numberv1.3.1Edwin Brady8 years ago 61cf812Update version numberv1.3.0Edwin Brady8 years ago d77513bUpdate version number properly this time (sorry!)v1.2.0Edwin Brady9 years ago ab806e9Update version numberEdwin Brady9 years ago 4b384ddFix DOC version number and update shipped PDF.Jan de Muijnck-Hughes9 years ago e371823Update version numbersv1.0Edwin Brady10 years ago 937c707Update version numbersv0.99.2Edwin Brady10 years ago a865b02Update version numbersEdwin Brady10 years ago 3c07004Revert Sphinx Extension for docs.Jan de Muijnck-Hughes10 years ago 2c9496ffix sphinx warnings.Jan de Muijnck-Hughes10 years ago 4a54ee7Version increment to 0.99v0.99Edwin Brady10 years ago 99142feSet code block frames to white (appearing transparent)Oskar Wickström10 years ago 3b972a8Create a single PDF for the complete documentationOskar Wickström10 years ago 59577e6Update version numberv0.12.3Edwin Brady10 years ago 420aa36Update version to 0.12.2Edwin Brady10 years ago 5d937e1Update version numbersv0.12Edwin Brady10 years ago 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