How are you getting gretl to appear
in English -- by using the GUI switch under Preferences?

yes
 
 And what's the setting for
the decimal point: is the box "Use locale setting for decimal
point" checked or not?

also yes.

thanks!
 

Allin Cottrell