| Tue, 25 Sep 2018 02:02:13 +0200 | salimr | Update slate editor | file | diff | annotate |
| Wed, 28 Jun 2017 13:29:07 +0200 | Alexandre Segura | Add TextPositionSelector. | file | diff | annotate |
| Tue, 06 Jun 2017 15:56:41 +0200 | Alexandre Segura | Introduce "annotation" plugin. | file | diff | annotate |