let indent _ =
        new_line ();
        spaces := !spaces + !tab;
        if !spaces >= !max_indent then begin
                spaces := !tab;
                roll := !roll + 1
        end

This web site is published by Informatikbüro Gerd Stolpmann