bug#36717: 25.3; greek.el: deprecated vowel+oxia combinations should be replaced with vowel+tonos counterparts

[Robert Pluim]

>>>>> On Thu, 18 Jul 2019 20:47:00 +0200, Robert Alessi 
>>>>> <alessi@robertalessi.net> said:

    Robert> On Thu, Jul 18, 2019 at 08:06:13PM +0200, Robert Pluim wrote:
    >> >>>>> On Thu, 18 Jul 2019 19:32:52 +0200, Robert Alessi 
<alessi@robertalessi.net> said:
    Robert> Very well spotted.  Actually, the latter is the right one—that is:
    >> ^^^^^^
    Robert> Greek Tonos, U+0384—while the former, Greek Oxia (U+1FFD) belongs to
    Robert> the group that was deprecated.  So it is the other way round: keep 
the
    Robert> former, and make the latter go.
    >> ^^^^^^
    >> 
    >> Now Iʼm confused :-)
    >> 
    >> Currently greek.el input methods insert \u1ffd, rather than
    >> \u0384. Which one do you want?

    Robert> That is not entirely true, I daresay, for I did find a couple of
    Robert> \u0384 in this file.

Indeed, some of the methods already had a way to insert tonos.

    Robert> But I got confused at some point in my previous
    Robert> email!  What I meant is: keep Greek Tonos (\u0384), and replace 
Greek
    Robert> Oxia with Greek Tonos.

But those methods that have tonos are for 'modern' greek, whereas the
ones that have oxia are for classical greek, as Basil pointed out, so
perhaps thereʼs no need to change anything (unless thereʼs an edict
from the Unicode people that tonos must be used even when writing
classical greek).

Robert