dviscr:
l'option
+color
est
maintenant
écrite
correctement
dans
le
fichier
de
transcription.
dvipm:
ajouté
une
boîte
de
dialogue
pour
sélectionner
les
pages
à
imprimer.
Ajouté
des
menus
de
fichiers
rapides.