| 2015-08-03 | João Távora | Merge pull request #596 from npostavs/lookup-snippet | blob | commitdiff | raw |
| 2015-08-03 | Noam Postavsky | Minor doc fixes | blob | commitdiff | raw |
| 2013-11-27 | Noam Postavsky | move top heading to title | blob | commitdiff | raw | diff to current |
| 2013-11-27 | Noam Postavsky | snippet-menu.org: links, formatting, obsolete refs | 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 |