27 Sep
2017
27 Sep
'17
3:39 p.m.
On 09/27/2017 02:16 PM, Thomas Widmann wrote:
That's a nice idea. If something like that existed, it could be used to change 's' to 'ſ' in relevant places, too.
This exists, see here: https://www.mail-archive.com/ntg-context@ntg.nl/msg79381.html