When I write math papers in LaTeX, I use the refcheck package to check for reference inconsistency. One function of the package is to look for labels that are never used in the text. This is useful for making numbered (and labeled) equations unnumbered if they are not refereed. Checking that by hand would be very difficult for long document. Is there something similar in TeXmacs?
Find unused labels?
There are tools to check from broken and duplicate references in the “Tools->References” menu. I do not think we have yet anything to check for unused labels, but this should not be difficult to implement since essentially we have all the info. One would then like to determine how to present this information to the user, e.g. put some kind of visual marker on the label or nearby.
2 Likes