[tex-hyphen] Names of files in OFFO

[Barbara Beeton]

On Thu, 17 Mar 2016, Arthur Reutenauer wrote:

    On Thu, Mar 17, 2016 at 03:44:50PM +0000, Philip Taylor wrote:
    > No, ancient Greek is not a true superset; modern Greek contains
    > <character><tonos> where ancient Greek would contain <character><oxe?a>,
    > <character><bare?a> or character><perisp?m?n?>.

      Tonos and oxia are the same character.

although the shapes of the diacritics
are identical, pre-accented letters
are listed separately in unicode:

  03AF  Greek small letter iota with tonos
  1F77  Greek small letter iota with oxia

so what is done depends on the input
encoding.
					-- bb