18 Apr
2010
18 Apr
'10
9:26 a.m.
Am 18.04.10 08:31, schrieb Taco Hoekwater:
On the criterium vs. criterion: this bad 'translation' is actually a keyword left over from the Dutch interface. It has been this way since 1996 I think. Actually changing it is not an option. but perhaps an alias could be created. I have also created a tracker item for that. As internal command you can't change the name but a synonym for the users is easy:
\setinterfacevariable{criterium}{criterion} Wolfgang