The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin consisted of just a few style files and six sections on sets and relations, and relational semantics for modal logic. Meanwhile it’s grown to close to 1,000 pages. Check out what’s there now on the download site!