46c0d92Start ST tutorialEdwin Brady10 years ago c1b329cCleaned up the menu for the docs.Jan de Muijnck-Hughes11 years ago 434dbabFix missing index contentsJan de Muijnck-Hughes11 years ago 9f04257UpdatesJan de Muijnck-Hughes11 years ago 4bac087Added details of the compilation and logging process.Jan de Muijnck-Hughes11 years ago 9ced655UpdateJan de Muijnck-Hughes11 years ago ab54660UpdatesJan de Muijnck-Hughes11 years ago 8aa2d25Added basic repl documentationJan de Muijnck-Hughes11 years ago 2ba4c80Initial documentation for Connor ColoursJan de Muijnck-Hughes11 years ago 27ccd9aMove IDE protocol docsDavid Raymond Christiansen11 years ago 0a87607Add docs for IDE protocolDavid Raymond Christiansen11 years ago 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