What's the reason for having tauto_plugin separate from ltac_plugin?
What's the reason for not having it separate?
Most other self-contained tactic plugins are separate.
Last updated: Feb 01 2023 at 15:04 UTC