87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes12 years ago 035f24eMove tactic proofs out of main tutorialEdwin Brady12 years ago d0b8bb5Merge pull request #2066 from jfdm/doc/sphinx-version-fixesJan de Muijnck-Hughes12 years ago 7672dfdAdd FAQ to documentationEdwin Brady12 years ago df9c178Fixes build errors relating to use of Sphinx 1.2.2.Jan de Muijnck-Hughes12 years ago be93168Add section on theorem proving to tutorialEdwin Brady12 years ago 83ff2b6Merge pull request #2047 from jfdm/userdocs/package-creationJan de Muijnck-Hughes12 years ago 454ec21Add section on package creation, and typo fixes.Jan de Muijnck-Hughes12 years ago 8b70c6aFixes #2045 Fixed reST syntax error in license declaration.Jan de Muijnck-Hughes12 years ago 0f65b89Documentation tweaksEdwin Brady12 years ago e46c615Fixed license in root index file.Jan de Muijnck-Hughes12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago