You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The alectryon and timing toc pages list all of the sections within the various .v files, but when you click on one of those links, you are just taken to the top of the appropriate file. Here are the two toc files:
The alectryon and timing toc pages list all of the sections within the various .v files, but when you click on one of those links, you are just taken to the top of the appropriate file. Here are the two toc files:
https://hott.github.io/Coq-HoTT/alectryon-html/toc.html
https://hott.github.io/Coq-HoTT/timing-html/toc.html
and here is an example link:
https://hott.github.io/Coq-HoTT/alectryon-html/HoTT.Homotopy.ExactSequence.html#lab958
I'm guessing this isn't easy to fix, but maybe there's a way to simply delete those section headings? Or at least make them not links?
The text was updated successfully, but these errors were encountered: