New Theorems Module

[Richard Kimberly Heck]

On 12/31/22 08:26, Udicoudco wrote:
>
>
> On Sat, Dec 31, 2022 at 12:49 PM Udicoudco <udifoglle at gmail.com> wrote:
>
>
>
>     On Sat, Dec 31, 2022 at 10:33 AM Thibaut Cuvelier
>     <dourouc05 at gmail.com> wrote:
>
>         On Sat, 31 Dec 2022 at 03:36, Scott Kostyshak
>         <skostysh at lyx.org> wrote:
>
>             On Sat, Dec 31, 2022 at 02:00:34AM +0100, Thibaut Cuvelier
>             wrote:
>             > I've pushed your patch online: 42c2a25fb8. I had to
>             rebase it manually, I
>             > hope I didn't make too many mistakes. I'm also attaching
>             the patch to this
>             > email so that you can check it more easily if you want.
>             >
>             > (If someone can add Udi to the blanket permissions, here
>             is the link on the
>             > mailing list:
>             https://marc.info/?l=lyx-devel&m=165779733507955&w=2
>             <https://marc.info/?l=lyx-devel&m=165779733507955&w=2>)
>             >
>             > Thibaut Cuvelier
>
>             Some ctests are failing on current master. I'm not sure if
>             it's because
>             of your recent commit or not.
>
>             But, for example, if I open up lib/doc/Additional.lyx, I
>             get a message
>             about a module that is not found: theorems-ams-extended
>
>             Also some tex2lyx tests are failing. Can you check those
>             as well?
>
>
>         Given the failures, I'm reverting the commit, especially as
>         Udi is working on a new version. For the missing modules, I
>         suppose that Udi should restore the corresponding .module
>         files, even if they just include something else, or could we
>         do something about it in lyx2lyx? (I.e. does this change
>         warrant a format update?)
>         -- 
>
>     I will restore the missing modules, so we don't need to do
>     anything about lyx2lyx.
>
>
> If i ill change the non-AMS modules to not use amsthm, and will add to 
> their name `-plain`
> prefix, would it be possible to make lyx2lyx update files using e.g. 
> theorems.module to use
> theorems-ams.module?

Yes, that's easy. I can do that part, if need be.

Let's not commit anything about this until I get beta 2 built.

Riki

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20221231/1bda9a71/attachment.html>