Eine Session kann geöffnet werden über
.thuban
. Wird eine Datei ausgewählt und mit
bestätigt, so wird die entsprechende
Session in Thuban geladen.
Ist bereits eine Session geladen und seit dem letzten Speichern modifiziert
worden, so wird nachgefragt, ob zunächst die alte Session gespeichert werden
soll.