@mathforge it's to do with reading label definitions in from an aux file, then writing something else out to a different file
@mathforge my line of thinking is, leave parsing TeX up to TeX, and write out something in a format my other tool can use
@mathforge it's to do with reading label definitions in from an aux file, then writing something else out to a different file
@mathforge my line of thinking is, leave parsing TeX up to TeX, and write out something in a format my other tool can use