WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Configuration File

Jump to bottom
Richard Zach edited this page Aug 19, 2017 · 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, tags, etc. It is documented in open-logic-config.pdf.

Clone this wiki locally