re-edited Proclus and Authorities, small changes to Aristonicus and Hadrian