| Tue, 20 Jun 2017 16:17:54 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 20 Jun 2017 16:14:38 +0200 | wenzelm | provide spell-checker menu via completion commands; | changeset | files |
| Tue, 20 Jun 2017 15:04:34 +0200 | wenzelm | added commands for spell-checker dictionary; | changeset | files |