Paul Robinson’s recent world best time of 4:17.9 for a mile run in sub-zero Antarctica recalled memories of a previous era when Ireland’s leading milers competed at elite level and helped to rewrite the record books.