Skip to content

Configuration File

Jump to bottom
Richard Zach edited this page May 16, 2014 · 3 revisions

The standard configuration file is open-logic-config.sty. It contains most of the commands OLT uses to produce symbols, formulas, theorems, tokenized text, etc. It is documented in open-logic-config.pdf.

Clone this wiki locally