WIP: load an options file everywhere to avoid repetition
Note that I didn't yet remove the "Set Default Proof Using" everywhere, this is just trying the general concept. Thanks to @janno for your help!
This fixes #66 (closed).
Note that I didn't yet remove the "Set Default Proof Using" everywhere, this is just trying the general concept. Thanks to @janno for your help!
This fixes #66 (closed).