git.iko.soy/Idris-dev
on master help sign in
history ofdocs/tutorial/starting.rst
all commits
f8c2edfFix reST errors.Jan de Muijnck-Hughes 2c001c9Refresh the tutorialEdwin Brady d3389d1Add --package contrib to tutorialStefan Bleibinhaus 9ba4884Add Windows path for Cabal to tutorialDavid Raymond Christiansen d9d03c0Move mention of PATH earlier in tutorialDavid Raymond Christiansen 1e8f6f2Fix typo in starting.rstNathan Dinsmore f3ae43eFixed reST errors for Getting Started Chapter.Jan de Muijnck-Hughes 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes df9c178Fixes build errors relating to use of Sphinx 1.2.2.Jan de Muijnck-Hughes faa95c0Merge pull request #2055 from jfdm/doc/missing-exampleEdwin Brady 628ddcbRemove captions from docsEdwin Brady c227094Added missing example.Jan de Muijnck-Hughes c093a9aFixed fontification of Idris from code to normal.Jan de Muijnck-Hughes ef50150UpdatesJan de Muijnck-Hughes 2e010b9Extracted listings for prompts into external files.Jan de Muijnck-Hughes af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes