f8c2edfFix reST errors.Jan de Muijnck-Hughes9 years ago 2c001c9Refresh the tutorialEdwin Brady10 years ago 73bf32dModule Dependencies Using Atom should be a sub-headingRahul Muttineni10 years ago 12a8909Import dependencies in Atomallancto10 years ago da61891Updated docs with note about visibility of type synonyms.Jan de Muijnck-Hughes11 years ago 61f272cUpdated User Docs for new visibility modifiers.Jan de Muijnck-Hughes11 years ago 23a2bfbUpdate tutorial for class->interfaceEdwin Brady11 years ago 667d6e0Fixes #2035 Documenting Parameterised Blocks.Jan de Muijnck-Hughes11 years ago 0b8f521Capitalize module name to match code sampleJeremy W. Sherman11 years ago 3ad394eUpdate module name to |Btree| to match code sampleJeremy W. Sherman11 years ago 8468d82correct examples so that they actually compilemax ulidtko11 years ago 2eeacc3add missing examplemax ulidtko11 years ago 513ffa8Fixed pygments stylingJan de Muijnck-Hughes12 years ago 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes12 years ago df9c178Fixes build errors relating to use of Sphinx 1.2.2.Jan de Muijnck-Hughes12 years ago 628ddcbRemove captions from docsEdwin Brady12 years ago c093a9aFixed fontification of Idris from code to normal.Jan de Muijnck-Hughes12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago