Correzioni di altre referenze, quasi finito coi terminali di controllo.
authorSimone Piccardi <piccardi@gnulinux.it>
Fri, 13 Sep 2002 21:49:24 +0000 (21:49 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Fri, 13 Sep 2002 21:49:24 +0000 (21:49 +0000)
commitf4e0bed8a292cd120d3d21958ad0810d95915cec
treea409a14a1c9927580a6c9fda318c708e36791c8a
parentc21ecd755b45e99ed8b1524e03444bf189bfcc06
Correzioni di altre referenze, quasi finito coi terminali di controllo.
fileadv.tex
fileintro.tex
prochand.tex
session.tex