mailing-list for TeXmacs Users

[Frank <address@hidden>]

I don't know how cleveref achieved that. I suppose that the pure TeX engine 
does not keep that kind of info, either.

For sake of future improvement, I also point out another thing: I sometimes 
customize the name by setting the values of variables, say, notation-text.

Best,
Frank

于 January 10, 2021 7:29:58 AM UTC, 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

-- 
使用 K-9 Mail 发送自我的Android设备。