module Odiff_messages:Messagse for Odiff gui.sig..end
val error : stringval close : stringval next_diff : stringval prev_diff : stringval result : stringval resolve : stringval no_conflict : stringval validate : stringval save : stringval save_and_close : stringval conflicts_to_resolve : int -> stringval skip : stringval no_diff_to_display : stringval file_from_repository : string -> stringval import_left : stringval import_right : stringval m_resolve_conflicts : string