That is true. I've updated the info, though I couldn't quite find the exact date of the publication of "Proclus' Commentary on the First Book of Euclid's Elemen

That is true. I've updated the info, though I couldn't quite find the exact date of the publication of "Proclus' Commentary on the First Book of Euclid's Elements". Good catch! Thanks for the heads-up!