mailing-list for TeXmacs Users

[vincent douce <address@hidden>]

hi
in a document i am moving a theorem referenced with a \label
i need renaming this label because the theorem was part of a proposition and 
is now a theorem
i need, so, to get the list of all the \ref calling this \label
excepting using my own memory of scrolling down all the doc, is there a means 
to get such a list ?
thanks
Vincent