5 ms·BTW, I'm not a TeXmacs developer... I'm just a fan.by amichail 5y agoBTW, I'm not a TeXmacs developer... I'm just a fan.