| Fri, 19 Jan 2018 14:55:00 +0100 | wenzelm | support for completion; | file | diff | annotate |
| Sun, 14 Jan 2018 16:48:21 +0100 | wenzelm | support for completion; | file | diff | annotate |
| Sat, 13 Jan 2018 21:41:36 +0100 | wenzelm | added glyph from "Deja Vu Sans Mono" font; | file | diff | annotate |
| Sat, 13 Jan 2018 11:22:46 +0100 | wenzelm | added \<^cancel> operator for unused text; | file | diff | annotate |
| Mon, 01 Jan 2018 21:17:28 +0100 | wenzelm | more completion templates; | file | diff | annotate |
| Sat, 30 Dec 2017 21:46:19 +0100 | wenzelm | more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html); | file | diff | annotate |
| Tue, 13 Dec 2016 11:51:42 +0100 | wenzelm | more symbols; | file | diff | annotate |