Roberts declared the war over on 3 September 1900; and the South African Republic was formally annexed.