Pour imprimer

### 1.9.4 Pour imprimer

Il faut utiliser le menu `Fich` sous-menu `Imprimer session` puis :
`Imprimer` pour imprimer l’historique : vous n’avez pas besoin pour cela d’avoir Latex.... On vous demandera simplement le nom de l’imprimante ou bien,
`Fichier postscript` pour traduire votre session en un fichier postscript (`.ps`) qui sera prêt à être imprimer (sous Unix ou Linux vous pourrez le voir avec la commande `gv`) ou bien,
`Pré-visualisation avec Latex` pour voir votre fichier avant impression, votre session est sauvée en un fichier Latex (`.tex`) qui sera traduit après compilation en un fichier (`.dvi`) (si vous n’avez pas sauvé auparavant ces fichiers auront pour nom `session.tex` et `session.dvi`) ou bien directement,
`Imprimer avec Latex` vous aurez les fichiers `.tex`) et `.dvi`.