-
-
L'espacement
était
mauvais
pour
les
documents
agrandis
(c-à-d.,
+magnification
ou
\mag
ne
valant
pas
1000).
-
-
Amélioration
de
la
gestion
mémoire
pour
les
fontes
virtuelles.
-
-
+magnification
sans
argument
désactive
l'agrandissement
prioritaire
dans
le
fichier
DVI,
+magnification :*x
multiplie
par
x
l'agrandissement
dans
le
fichier
DVI.
-
-
Corrigé
plusieurs
problèmes
relatifs
au
changement
d'options
dans
dvipm
lorsqu'un
fichier
DVI
est
chargé.
-
-
Corrige
et
accélère
la
recherche
de
texte
de
dvipm
et
dviscr.
