let unindent _ =
        new_line ();
        spaces := !spaces - !tab;
        if (!spaces <= 0) && (!roll > 0) then begin
                spaces := ((!max_indent - 1) / !tab) * !tab;
                roll := !roll - 1
        end

This web site is published by Informatikbüro Gerd Stolpmann