Skip to content

Add a pick for 8.19.2 with the Ltac2 debugger (preview)#429

Merged
MSoegtropIMC merged 1 commit intocoq:mainfrom jfehrle:ltac2_debuggerNov 19, 2024

Commits

Commits on Nov 18, 2024