Adapt to coq/coq#19690 (generic_tactic avoids dependency on ltac(?))#128

Draft

SkySkimmer wants to merge 1 commit intocoq-community:masterfrom SkySkimmer:ltacX-obligations

+3-6

Commits on Oct 15, 2024

Adapt to coq/coq#19690 (generic_tactic avoids dependency on ltac(?))
SkySkimmer
committed