I do not know if this is a reftex or AUCTeX bug. When using theoremlike
environments from the tcolorbox, the function reftex-renumber-simple-labels
messes up. It renumbers the labels in references but does nothing to the
labels themselves.
I start out with
\documentclass{article}
\usepackage{matyi}
\begin{document}
\begin{problem}[label={problem:2}]{Prove RH2}{}
\end{problem}
\begin{equation}
\label{eq:2}
2
\end{equation}
By \eqref{eq:2} and \ref{problem:2}
\begin{problem}[label={problem:1}]{Prove RH1}{}
\end{problem}
\begin{equation}
\label{eq:1}
1
\end{equation}
By \eqref{eq:1} and \cref{problem:1}.
\end{document}
then I do "M-x reftex-renumber-simple-labels" I get the following: (notice
how the eq: labels and references got renumbered correctly while the
problem: labels didn't get renumbered while their references did get
renumbered---making the references incorrect.
\documentclass{article}
\usepackage{matyi}
\begin{document}
\begin{problem}[label={problem:2}]{Prove RH2}{}
\end{problem}
\begin{equation}
\label{eq:1}
2
\end{equation}
By \eqref{eq:1} and \ref{problem:1}
\begin{problem}[label={problem:1}]{Prove RH1}{}
\end{problem}
\begin{equation}
\label{eq:2}
1
\end{equation}
By \eqref{eq:2} and \cref{problem:2}.
\end{document}
I am attaching the used matyi.el file.
Thanks,
Máté
Emacs : GNU Emacs 28.1 (build 1, x86_64-redhat-linux-gnu, GTK+ Version
3.24.34, cairo version 1.17.6)
of 2022-07-15
Package: 13.1.4
current state:
==============
(setq
AUCTeX-date "2022-08-26"
window-system 'x
LaTeX-version "2e"
TeX-style-path '("~/.emacs.d/auctex"
"/home/apu/.emacs.d/elpa/auctex-13.1.4/style"
"/home/apu/.emacs.d/auctex/auto"
"/home/apu/.emacs.d/auctex/style" "auto" "style")
TeX-auto-save t
TeX-parse-self t
TeX-master t
TeX-command-list '(("TeX"
"%(PDF)%(tex) %(file-line-error) %`%(extraopts) %S%(PDFout)%(mode)%'
%(output-dir) %t"
TeX-run-TeX nil
(plain-tex-mode ams-tex-mode texinfo-mode) :help
"Run plain TeX")
("LaTeX" "%`%l%(mode)%' %T" TeX-run-TeX nil
(latex-mode doctex-mode) :help "Run LaTeX")
("Makeinfo" "makeinfo %(extraopts) %(o-dir) %t"
TeX-run-compile nil (texinfo-mode) :help
"Run Makeinfo with Info output")
("Makeinfo HTML"
"makeinfo %(extraopts) %(o-dir) --html %t"
TeX-run-compile nil (texinfo-mode) :help
"Run Makeinfo with HTML output")
("AmSTeX"
"amstex %(PDFout) %`%(extraopts) %S%(mode)%' %(output-dir) %t"
TeX-run-TeX nil (ams-tex-mode) :help "Run AMSTeX")
("ConTeXt"
"%(cntxcom) --once --texutil %(extraopts) %(execopts)%t"
TeX-run-TeX nil (context-mode) :help "Run ConTeXt once")
("ConTeXt Full" "%(cntxcom) %(extraopts) %(execopts)%t"
TeX-run-TeX nil (context-mode) :help
"Run ConTeXt until completion")
("BibTeX" "bibtex %(O?aux)" TeX-run-BibTeX nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode context-mode)
:help "Run BibTeX")
("Biber" "biber %(output-dir) %s" TeX-run-Biber nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Run Biber")
("Texindex" "texindex %s.??" TeX-run-command nil
(texinfo-mode) :help "Run Texindex")
("Texi2dvi" "%(PDF)texi2dvi %t" TeX-run-command nil
(texinfo-mode) :help "Run Texi2dvi or Texi2pdf")
("View" "%V" TeX-run-discard-or-function t t :help
"Run Viewer")
("Print" "%p" TeX-run-command t t :help "Print the file")
("Queue" "%q" TeX-run-background nil t :help
"View the printer queue" :visible TeX-queue-command)
("File" "%(o?)dvips %d -o %f " TeX-run-dvips t
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Generate PostScript file")
("Dvips" "%(o?)dvips %d -o %f " TeX-run-dvips nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Convert DVI file to PostScript")
("Dvipdfmx" "dvipdfmx -o %(O?pdf) %d" TeX-run-dvipdfmx nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Convert DVI file to PDF with dvipdfmx")
("Ps2pdf" "ps2pdf %f %(O?pdf)" TeX-run-ps2pdf nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Convert PostScript file to PDF")
("Glossaries" "makeglossaries %(d-dir) %s" TeX-run-command
nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Run makeglossaries to create glossary file")
("Index" "makeindex %(O?idx)" TeX-run-index nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Run makeindex to create index file")
("upMendex" "upmendex %(O?idx)" TeX-run-index t
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Run upmendex to create index file")
("Xindy" "texindy %s" TeX-run-command nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Run xindy to create index file")
("Check" "lacheck %s" TeX-run-compile nil (latex-mode)
:help "Check LaTeX file for correctness")
("ChkTeX" "chktex -v6 %s" TeX-run-compile nil (latex-mode)
:help "Check LaTeX file for common mistakes")
("Spell" "(TeX-ispell-document \"\")" TeX-run-function nil
t :help "Spell-check the document")
("Clean" "TeX-clean" TeX-run-function nil t :help
"Delete generated intermediate files")
("Clean All" "(TeX-clean t)" TeX-run-function nil t :help
"Delete generated intermediate and output files")
("Other" "" TeX-run-command t t :help
"Run an arbitrary command")
)
)
(TeX-add-style-hook
"matyi"
(lambda ()
;; Run only the style hook for 'tcolorbox'
(TeX-run-style-hooks "tcolorbox" "cleveref")
;; This is the library we want to use:
(LaTeX-add-tcolorbox-tcbuselibraries
"theorems")
;; Now load the library with the provided function:
(LaTeX-tcolorbox-load-used-libraries)
;; These are the additional environments defined in 'matyi.sty':
(LaTeX-add-tcolorbox-lib-theorems-newtcbtheorems
"conj"
"cor"
"defn"
"lem"
"problem"
"prop"
"quest"
"rem"
"thm")
;; Add the envs to `LaTeX-label-alist':
(let ((envs '(("conj" . "conj:")
("cor" . "cor:")
("defn" . "defn:")
("lem" . "lem:")
("problem" . "problem:")
("prop" . "prop:")
("quest" . "quest:")
("rem" . "rem:")
("thm" . "thm:"))))
(dolist (env envs)
(add-to-list 'LaTeX-label-alist env t)))
;; Also make them available to RefTeX:
(when (fboundp 'reftex-add-label-environments)
(reftex-add-label-environments
'(("conj" ?c "conj:" "~\\cref{%s}"
LaTeX-tcolorbox-lib-theorems-reftex-label-context-function
nil)
("cor" ?C "cor:" "~\\cref{%s}"
LaTeX-tcolorbox-lib-theorems-reftex-label-context-function
nil)
("defn" ?d "defn:" "~\\cref{%s}"
LaTeX-tcolorbox-lib-theorems-reftex-label-context-function
(regexp "[Dd]efinitions?") nil)
("lem" ?l "lem:" "~\\cref{%s}"
LaTeX-tcolorbox-lib-theorems-reftex-label-context-function
(regexp "[Ll]emmas?") nil)
("problem" ?p "problem:" "~\\cref{%s}"
LaTeX-tcolorbox-lib-theorems-reftex-label-context-function
(regexp "[Pp]roblems?") nil)
("prop" ?P "prop:" "~\\cref{%s}"
LaTeX-tcolorbox-lib-theorems-reftex-label-context-function
nil)
("quest" ?q "quest:" "~\\cref{%s}"
LaTeX-tcolorbox-lib-theorems-reftex-label-context-function
nil)
("rem" ?r "rem:" "~\\cref{%s}"
LaTeX-tcolorbox-lib-theorems-reftex-label-context-function
nil)
("thm" ?T "thm:" "~\\cref{%s}"
LaTeX-tcolorbox-lib-theorems-reftex-label-context-function
(regexp "[Tt]heorems?") nil)))) )
:latex)
_______________________________________________
bug-auctex mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-auctex
