mailing-list for TeXmacs Users

[Henri Lesourd <address@hidden>]

address@hidden wrote:

> Is there an easy way to make TeXmacs produce PDF which uses printer built-in 
> fonts?
>
>  
Probably not.

> Is there a way to search the archive more than a month at a time?
>
>  
Go to "Advanced search", then select everything inside
the "Extend search field" multiselect list, then proceed
with the search.