### 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.