<2012-09-11> - some small layout changes
- corrected type which prevented TeXing the code - some translation enhancements
Authored by: ax006ho 2012-09-11
Parent: [r1567]
Child: [r1569]
