History of general topology