| 2013-12-02 | Joao Tavora | minor: cosmetic fixes to manual | blob | commitdiff | raw |
| 2013-11-27 | Noam Postavsky | move top heading to title | blob | commitdiff | raw | diff to current |
| 2013-11-27 | Noam Postavsky | fix links | blob | commitdiff | raw | diff to current |
| 2013-11-27 | Noam Postavsky | move index.org subsection into snippet-organization.org | blob | commitdiff | raw | diff to current |
| 2013-11-27 | Noam Postavsky | convert old rst manuals to org mode | blob | commitdiff | raw | diff to current |
| 2012-05-07 | Joao Tavora | merged every org file into manual.org | blob | commitdiff | raw |
| 2012-05-07 | João Távora | scaffolding for a doc revamp | blob | commitdiff | raw | diff to current |