Günter Milde f838b4fb18 platex fixes.
* Force unicodesymbols conversion for all *-platex input encodings,
* except some characters that work well in utf8.
* Use platex if document language is "japanese" and input encoding is "utf8".
2019-04-11 01:43:44 +02:00
..
2017-12-14 18:50:56 +01:00
2019-03-25 16:46:04 +01:00
2018-12-27 10:41:10 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-04-03 18:17:40 +02:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-04-11 01:43:44 +02:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2018-03-09 05:53:39 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2019-03-25 16:46:04 +01:00
2013-01-12 19:44:08 +01:00
2019-03-25 16:46:04 +01:00