The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

Indeed,
Some gtk people work on personalization (I know, I know not all of them and 
not always (pleaaaaaaase don't take this sentence as an opportunity for 
anything)). Therefore, the ‘standard’ menu items are translated, have icons 
and use the session-wide accelerators you configure.
Job is done lazily when there are blocking issues for coq specific items. So 
you’re locked in english with specific (sometime conflicting) accel.

Pierre B.

> Le 15 févr. 2015 à 17:38, Michel Levy 
> <michel.levy1948 AT gmail.com>
>  a écrit :
> 
> I'm using coq version 8.4. In the menus of coqide, there is some words in 
> French.
> In the file menu, submenus Nouveau, Ouvrir, Enregistrer.
> In the edit menu, submenus Annuler, Préférences.
> This mixture between french and english is very strange.
> 
>  
> -- 
> email : 
> michel.levy1948 AT gmail.com
> http://membres-liglab.imag.fr/michel.levy
>  
>