2010-11-30 | Radek Czajka | #965: "all" option for annotations index | blob | commitdiff | raw |
2010-11-16 | Radek Czajka | better annotations dictionary | blob | commitdiff | raw | diff to current |
2010-09-28 | Radek Czajka | New tool: annotations from current text (fixes #862) | blob | commitdiff | raw | diff to current |