let new_line _ =
        commit ();
        if !line <> "" then begin
                flush ();
                output_char !out '\n'
        end;
        follow := 0

This web site is published by Informatikbüro Gerd Stolpmann