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

[Robert Alessi <alessi@robertalessi.net>]

On Thu, Jul 18, 2019 at 08:57:16PM +0200, Robert Pluim wrote:
> 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).

Good point.  I will try to look for such an edict!

Robert