Re: [tex-hyphen] Names of files in OFFO

[Philip Taylor]

Arthur Reutenauer wrote:

>   Tonos and oxia are the same character.

Tonos and oxia /look/ the same; search a file for character+oxia when
the file has been created with character+tonos and the former will not
be found.

Philip Taylor