Downloading OLT

Richard Zach edited this page Dec 22, 2015 · 4 revisions

To download the LaTeX source code, either clone the git repository or download it as a ZIP file using the download link on the right of the repository view page.

You can download PDFs of the most recent version at the OLT nightly build site. It contains PDFs of the complete text (open-logic[-*].pdf) and of the individual sections.