[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] roman font can't display some chars
|
From: |
Zhaocong Jia |
|
Subject: |
Re: [Texmacs-dev] roman font can't display some chars |
|
Date: |
Thu, 21 Dec 2017 16:04:02 +0800 |
Also, a note for TeXmacs developers: we should not prefer clang
over gcc as default compiler (at least on Linux, gcc should be default),
the one built by clang crashed twice in 5 minutes while the one built
by gcc is stable as before.
- Re: [Texmacs-dev] roman font can't display some chars,
Zhaocong Jia <=