[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new amsart patch, only gradual improvements are added for the moment
From: |
Uwe Brauer |
Subject: |
Re: new amsart patch, only gradual improvements are added for the moment |
Date: |
Sat, 10 Sep 2022 14:23:07 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
>>> "AE" == Arash Esbati <arash@gnu.org> writes:
> Uwe Brauer <oub@mat.ucm.es> writes:
>> What I am trying to say is this. If amssymb is loaded, then amsfonts
>> is also loaded and that is why I think it should be
>>
>> (TeX-run-style-hooks "amsmath" "amsthm" "amssymb")
> Sorry, I think we are miscommunicating. I meant: If amsart.cls loads
> the package amssymb.sty, then the statement above is correct, otherwise
> not since AUCTeX styles follow the logic of loading styles as LaTeX
> packages do. I don't see amsart.cls loading amssymb.sty (or am I
> missing something), hence I don't see why amsart.el should load
> amssymb.el.
> I slightly changed amsart.el, the latest version is attached. It is
> about running the style hooks for amsmath and amsfonts based on the
> given options.
Ok I understand that now. I will test in and report back.
I am also a bit confused, if the author is the auctex-dev team, couldn't
you also install it?
Uwe
smime.p7s
Description: S/MIME cryptographic signature
- new amsart patch, only gradual improvements are added for the moment, Uwe Brauer, 2022/09/06
- Re: new amsart patch, only gradual improvements are added for the moment, Arash Esbati, 2022/09/08
- Re: new amsart patch, only gradual improvements are added for the moment, Uwe Brauer, 2022/09/09
- Re: new amsart patch, only gradual improvements are added for the moment, Arash Esbati, 2022/09/09
- Re: new amsart patch, only gradual improvements are added for the moment, Uwe Brauer, 2022/09/09
- Re: new amsart patch, only gradual improvements are added for the moment, Arash Esbati, 2022/09/09
- Re: new amsart patch, only gradual improvements are added for the moment,
Uwe Brauer <=
- Re: new amsart patch, only gradual improvements are added for the moment, Arash Esbati, 2022/09/11
- Re: new amsart patch, only gradual improvements are added for the moment, Uwe Brauer, 2022/09/11