log

Chronological compilation, primary-source curation, and concordance log for geometor.proclus.