@mathforge oh no, the external tool is the destination. I take in tex files and need to give the other tool a list of labels in the document
@mathforge anyway, I got it working hackily earlier, but I'd like to see if I can do it better
@mathforge oh no, the external tool is the destination. I take in tex files and need to give the other tool a list of labels in the document
@mathforge anyway, I got it working hackily earlier, but I'd like to see if I can do it better