Hello,
In nodes \setlength and \addtolength we have both \@var{len} and
@var{\len}. Things have to be made consistent, which I will do.
I think that the former (ie \@var{len}) is better, because the antislash
is not _a variable_ thing, it is just always there.
Any comments ?
Vincent.
