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.