mailing-list for TeXmacs Users

[Basile Audoly <address@hidden>]

Hi Frank,

I think that is correct: smart-ref appears not to work if you use labels without a prefix (i.e. not starting with sec: or th:)

My guess is that the label does not keep track of whether the source is a theorem or a lemma, so guessing from the prefix is probably the only option available for smart-ref. This would have to be confirmed, and I hope I am not adding confusion…

Basile

Le 9 janv. 2021 à 23:48, Frank <address@hidden> a écrit :

Dear all,

It seems to me that currently, smart-ref is only detecting the name of the label to guess whether it is a theorem, a lemma or something else. Am I mistakenly? I find this because I changed a lemma to a corollary without changing the label, and I find that smart-ref does not recognize this change.

Best wishes,
Frank