|
From: | Arash Esbati |
Subject: | Re: problems with thmstools (and automatic insertion of labels (reftex) |
Date: | Mon, 27 Mar 2023 11:44:46 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) |
Uwe Brauer <oub@mat.ucm.es> writes: > That patch works fine, apply it please Thanks, pushed with commit 1adb687a9d. Best, Arash
[Prev in Thread] | Current Thread | [Next in Thread] |