coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Michel Levy <michel.levy1948 AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] coqide french menu
- Date: Sun, 15 Feb 2015 17:38:28 +0100
|
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 |
- [Coq-Club] coqide french menu, Michel Levy, 02/15/2015
- Re: [Coq-Club] coqide french menu, Pierre Boutillier, 02/15/2015
Archive powered by MHonArc 2.6.18.