let flush _ =
        if !line <> "" then begin
                print_tab (!spaces + !follow);
                output_string !out !line;
                line := "";
                line_len := 0
        end

This web site is published by Informatikbüro Gerd Stolpmann