Controllo del terminale iniziato.
authorSimone Piccardi <piccardi@gnulinux.it>
Mon, 7 Oct 2002 22:27:18 +0000 (22:27 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Mon, 7 Oct 2002 22:27:18 +0000 (22:27 +0000)
commit183df5510f320cede12a4d9595bedca8d30ba7a1
tree9f1df8dd5fd2074af9c3407e91ffd98d662d6040
parent999678703d956565dbc4c1707482e9114026be82
Controllo del terminale iniziato.
session.tex