Skip to content

When replacing Coq version info, display the replacement#82

Merged
JasonGross merged 1 commit intomit-plv:masterfrom JasonGross:warn-version-changeOct 18, 2022

Commits

Commits on Oct 18, 2022