On Tue, 20 Oct 2009, Boris Veytsman wrote: > Commenting out a line in boxedverbatim does not delete it. You need > to actually delete it... Sure. I found that just after sending my mail. > I've added the changes to the Russian version Thanks, -- Staszek Wawrykiewicz StaW at gust.org.pl