mailing-list for TeXmacs Users

[Frank <address@hidden>]

Hello all,

I wonder how to locate the warnings and error in TeXmacs. Sometimes, for 
example, I delete a label, then there are warnings about broken 
references but I don't know how to locate them quickly. I just open the 
text editor to find, which does not seem to be a correct way to do so.

--
Best wishes!
Yours,