-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : Joris van der Hoeven <address@hidden>- To: address@hidden
- Subject: Re: [TeXmacs] Document fonts vs Format fonts
- Date: Tue, 28 Aug 2012 17:20:30 +0200
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).
- [TeXmacs] Document fonts vs Format fonts, Bernd Losert, 08/15/2012
- Re: [TeXmacs] Document fonts vs Format fonts, Joris van der Hoeven, 08/28/2012
Archive powered by MHonArc 2.6.19.
