mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

Yes Bernd, thanks for answering your question ;^)  --Joris


On Wed, Aug 15, 2012 at 08:07:32AM -0400, Bernd Losert wrote:
> How come the fonts under Document-->Font-->Text font aren't the same
> as the ones under Format-->Name? Is it because the former ones are
> complete and the latter ones are not necessarily complete (like Duerer
> for example).