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.