| 2013-11-27 | Noam Postavsky | convert old rst manuals to org mode | blob | commitdiff | raw |
| 2013-11-27 | Noam Postavsky | rename manual.org to index.org | 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 |