when renaming, give precedence to recent context entries over old ones#537

Merged

gares merged 2 commits intomasterfrom fix-renaming

Nov 10, 2023

+86-26

Commits on Nov 9, 2023

when renaming, give precedence to recent context entries over old ones
gares
committed

Commits on Nov 10, 2023

try hard to find coq goals
gares
committed