- corrected some TeXinfo syntax errors
- reworked some translated texts - added some more translations
Authored by: ax006ho 2013-05-28
Parent: [r1821]
Child: [r1823]