Hans Hagen

9. Juli 2018 um 23:12

ok, another attempt ... see typo-dir file

It works for my small test file, Idris can check it with a real document.

Thank you very much,
Wolfgang