0001-Make-some-syntactic-improvements-to-theory.tex.patch
0002-Fix-option-names-in-help-text.patch
