Skip to content

WIP: load an options file everywhere to avoid repetition

Ralf Jung requested to merge ralf/options-file into master

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).

Merge request reports