coq-tools icon indicating copy to clipboard operation
coq-tools copied to clipboard
verified publisher icon JasonGross

Use `Print LoadPath` for handling libnames

Open JasonGross opened this issue 11 months ago • 0 comments

Part of #229, progress towards #223

Next thing to fix: handling of "." / relative paths so that when we relocate the directory, paths get remapped

JasonGross avatar Mar 22 '25 21:03 JasonGross