SET-LD-SKIP-PROOFS
See
set-ld-skip-proofsp
.
Major Section:
SWITCHES-PARAMETERS-AND-MODES
