Subject: mailing-list for TeXmacs Users
List archive
From : Frank <address@hidden>- To: TeXmacs <address@hidden>
- Subject: [TeXmacs] about smart-ref
- Date: Sat, 9 Jan 2021 23:48:13 +0100
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
- [TeXmacs] about smart-ref, Frank, 01/09/2021
- Re: [TeXmacs] about smart-ref, Basile Audoly, 01/10/2021
- Re: [TeXmacs] about smart-ref, Frank, 01/10/2021
- Re: [TeXmacs] about smart-ref, Basile Audoly, 01/10/2021
Archive powered by MHonArc 2.6.19.