3 Aug
2017
3 Aug
'17
5:46 a.m.
On 08/02/2017 09:36 PM, Pablo Rodriguez wrote:
Hans,
after testing the new \xmlinlineprettyprinttext, I discovered the following: [...] \typeinlinebuffer doesn’t have \tt as default font.
Hans, many thanks for having fixed this in latest beta. Pablo -- http://www.ousia.tk