On Sat, 2023-07-29 at 12:29 -0400, Richard Kimberly Heck wrote:
> Did it with
>
> perl -ibak -pe 's/RefFormat prop "Lemma \\arabic{theorem}"/RefFormat
> prop "Proposition \\arabic{theorem}"/' *
>
> I love perl.
>
> Riki
Thank you Alexander and Riki.
Now everything works as expected and I am l
On 7/29/23 06:59, Alexander Dunlap wrote:
On Sat, Jul 29, 2023, at 4:10 AM, José Matos wrote:
On Thu, 2023-07-27 at 22:28 -0400, Richard Kimberly Heck wrote:
> There's a similar problem with item counters that I've asked the
> author
> to try to solve. Probably that will solve this problem too.
On Sat, Jul 29, 2023, at 4:10 AM, José Matos wrote:
> On Thu, 2023-07-27 at 22:28 -0400, Richard Kimberly Heck wrote:
> > There's a similar problem with item counters that I've asked the
> > author
> > to try to solve. Probably that will solve this problem too.
> >
> > Riki
>
> As a follow-up to
On Thu, 2023-07-27 at 22:28 -0400, Richard Kimberly Heck wrote:
> There's a similar problem with item counters that I've asked the
> author
> to try to solve. Probably that will solve this problem too.
>
> Riki
As a follow-up to previous message:
Now, after your last changes Equations no longer
On 7/27/23 04:21, José Matos wrote:
On Wed, 2023-07-26 at 18:22 +0200, Richard Kimberly Heck wrote:
Display equation/theorem numbers in insert cross reference
dialog.
Fixes bug #11466,
This is nice but eventually it could be improved further.
My use case is the following, I am
On Wed, 2023-07-26 at 18:22 +0200, Richard Kimberly Heck wrote:
> Display equation/theorem numbers in insert cross reference
> dialog.
>
> Fixes bug #11466,
This is nice but eventually it could be improved further.
My use case is the following, I am using the module "Standard
Theorem