Frédéric Wang 227aebed65 Fix some places where localization strings are wrongly used. #504		2013-08-02 14:26:55 +02:00
..
element/mml	Replace nonstandard MJX-arrow class by an "updiagonalarrow" menclose notation. Fix issue #481.	2013-05-30 12:17:19 +02:00
input	Fix some places where localization strings are wrongly used. #504	2013-08-02 14:26:55 +02:00
output	Merge pull request #527 from fred-wang/issue482	2013-08-02 04:05:13 -07:00