SET-LD-SKIP-PROOFS

See set-ld-skip-proofsp. 
Major Section:  SWITCHES-PARAMETERS-AND-MODES