<\body> In una ``sessione da terminale'' è possibile valutare comandi dati da un terminale. Ogni input o output è verbatim. Nessuna particolare utilità per istruzioni da linea di comando (tipo il completamento automatico) è stata ancora implementata. L'output di un comando da terminale viene visualizzato gradualmente via via che il programma esegue le istruzioni. In una ``sessione '' si possono valutare programmi /. L'input è un testo verbatim che viene valutato e, successivamente, viene mostrato il risultato. Nessun meccanismo di visualizzazione graduale è ancora stato implementato per le sessioni . <\initial> <\collection>