Module Pvernac.Unsafe

val set_tactic_entry : proof_mode option -> unit