Coq-HoTT icon indicating copy to clipboard operation
Coq-HoTT copied to clipboard

Published 20 hours ago • verified publisher icon HoTT

library dependency graphs broken

Open JasonGross opened this issue 4 years ago • 0 comments

The new build system fixed the per-file dependency graphs but broke the whole-library dependency graphs at, e.g., https://hott.github.io/HoTT/dependencies/HoTTCore.svg

JasonGross avatar Apr 26 '21 00:04 JasonGross