-
Jean-Christophe Filliâtre authored
- documentation - better error message when prover name is invalid - no shortcut tactic ae, Z3, etc. anymore
a76e2064
- documentation - better error message when prover name is invalid - no shortcut tactic ae, Z3, etc. anymore