texmacs et polices

["Nils Gesbert" <nils.gesbert AT ign.fr>]

On 21 Oct 2002, at 10:11, Yves Maniette wrote:

> TeXmacs : l'ornithorynque des traitements de texte :
> une superbe présentation et les entrailles de TeX en 
> mieux ! Visitez sans faute <http://www.TeXmacs.org>.

J'avais une question sur ce logiciel à laquelle je n'ai pas trouvé de 
réponse précise sur leur site (je dois avouer que je n'ai pas TOUT 
fouillé en détail) mais vous pouvez peut-être me répondre... il semble 
qu'on ne puisse utiliser que des polices PK ? Pas de type 1 ni de true 
type (à moins de les rasteriser à la demande par gsftopk ou ttf2pk, je 
sais que c'est possible mais c'est un peu lourd, crée plein de fichiers 
temporaires... et ne permet pas de créer un PDF qui s'affiche 
correctement à l'écran, dommage quand on part d'une police type 1) ? 
ce n'est pas dans la FAQ et pourtant ça me semble relativement 
important. Drôle d'idée d'avoir repris le format PK...

De toute façons je ne l'utiliserai pas (en tous cas dans l'immédiat), ça 
ne tournera pas sur mon pentium 100 si j'en crois le site, pfff.