| 2013-11-27 | Noam Postavsky | move top heading to title | blob | commitdiff | raw |
| 2013-11-27 | Noam Postavsky | {snippet-development,faq}.org: fixup pandoc output | 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 |