Skip to content

Display elpi commands/tactics in the outline#667

Merged
gares merged 1 commit intomasterfrom name-commandsJul 19, 2024

Commits

Commits on Jul 16, 2024