auctex-devel
[Top][All Lists]

## [AUCTeX-devel] Parsing \newtheorem's

 From: Florêncio Neves Subject: [AUCTeX-devel] Parsing \newtheorem's Date: Wed, 12 Dec 2012 14:51:58 -0500

Here is a feature request: it would be great if AUCTeX could do
automatically what is described in the section "Theorem and Axiom
Environments" of the RefTeX manual.  Namely, a tex file containing

\newtheorem{envname}{Some Kind of Theorem}
\newtheorem{otherenv}[envname]{Other Kind of Theorem}
\newtheorem*{Theorem Without Numbering}

would make the following be added to reftex-label-alist:

("envname" TYPE-KEY "envname:" "~\\ref{%s}" 1 ("Some Kind of Theorem"))
("otherenv" TYPE-KEY "otherenv:" "~\\ref{%s}" 1 ("Other Kind of Theorem"))

(It would also be necessary to make theorem-style environments be
inserted via LaTeX-env-label')

The difficulty here is to figure out what to choose as TYPE-KEY; since
entries with the same TYPE-KEY must share the same LABEL-PREFIX (using
the terminology of reftex-label-alist' documentation), it is not
possible to simply let it be some fixed value (say ?a for
automatically-generated).  Maybe a solution would be to allow "dummy"
TYPE-KEYs which are symbols instead of a chars.

Regards, F.