[Linuxtrent] Re: Come usare il Times in un file Texinfo? (semi-OT)

  • From: Flavio Stanchina <flavio.stanchina@xxxxxx>
  • To: linuxtrent@xxxxxxxxxxxxx
  • Date: Thu, 24 Oct 2002 21:46:43 +0200

On Tuesday 22 October 2002 23:33, Lele Gaifax wrote:

> Yup! Non so quanto possa essere utile, ma immagino che qualche
> suggerimento buono si possa estrarre, ... e serviva anche ad
> Azazel... shame on me !-/
>
> http://www.aaai.org/Publications/Author/latex-fonts.html

Purtroppo non prende nemmeno in considerazione Texinfo...

Ricordo che una volta, quando nemmeno LaTeX supportava adeguatamente i 
font Postscript, dvips sapeva fare delle cose magiche per trasformare un 
file nato con i Computer Modern in un Postscript che usava il Times. Si 
può fare ancora, suppongo. Come si fa? ;)

Ho visto[1] che ci sono i font Computer Modern in formato Type 1. C'è il 
package nella Debian, che non mi è sembrato di trovarlo? Altrimenti uno di 
questi giorni cerco di produrlo, così magari capisco come funziona defoma.

1. http://www.ams.org/tex/type1-fonts.html

-- 
Ciao,
    Flavio Stanchina
    Trento - Italy

"The best defense against logic is ignorance."
http://spazioinwind.libero.it/fstanchina/
-- 
Per iscriversi  (o disiscriversi), basta spedire un  messaggio con SOGGETTO
"subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxx


Other related posts: