Günter Milde e84f6dff77 Fixes for Japanese documents
PDF outline improves with unicode/utf8 (although some chars still wrong).

Math: ERT for umlauts no longer required (now force-converted with unicodesymbols)
2019-04-26 23:02:44 +02:00
..
2019-04-18 11:40:56 +02:00
2019-04-26 23:02:44 +02:00
2019-04-26 23:02:44 +02:00
2019-03-25 16:46:04 +01:00
2019-03-29 11:55:20 +01:00
2019-04-07 11:05:42 +02:00
2019-04-17 08:08:58 +02:00
2018-03-09 15:17:23 +01:00