add open-logic-rel.pdf, a release text offull project. open-logic-dev.sty now contains all development commonds (marginal notes, etc)
First draft of function material combined from my and Audrey's notes. Fixed some typos as well.
oops, missed a file
fixing a mistake
display defn of f
typo
first stab at coverage of Turing machines
unary numbers in tm computations
add hooks at end of chapters and sections
add link to new website
add open-logic-defer.sty to print problems at end of chapter
Ability to tokenize terminology. o-l-tokens.sty contains token definitions. fol/sas/syntx.tex tokenized so far.
makefle picked up wrong intoduction.tex, renamed them
add open-logic-selective.sty for selective processing
moved all editable customizations to open-logic-config.sty. in its place open-logic.sty will load a modified \jobname-config.sty if it exists. Cleaned up various configs, moved open-logic-tokens.sty into open-logic-config.sty. Theorems now use thmtools package.
move package files into sty directory for less clutter
Merge branch 'master' of https://github.com/OpenLogicProject/OpenLogic

Conflicts:
	open-logic.sty