Pour sauver toute la session il faut cliquer sur Save de la barre des boutons de la session (on vous demande le nom par exemple session.xws et toute la session est sauvée dans le fichier session.xws). Si vous voulez l’imprimer en un fichier postscript, il faut choisir dans le menu Fich de la session, le sous-menu Imprimer puis Pre-visualisation et ensuite Vers Imprimante : cela crée un fichier postscript session.ps. Si vous voulez convertir votre session en un fichier Latex, il faut choisir dans le menu Fich, le sous-menu Imprimer puis, Pre-visualisation (Latex), et ensuite Vers Imprimante (Latex) cela crée les fichiers session.tex, session.dvi, session.ps et session.png.