rename use_group macro with additional underscore

This commit is contained in:
Maximilian Keßler 2022-01-21 13:52:42 +01:00
parent 10458e55ed
commit ce7436c3db

View file

@ -2007,12 +2007,10 @@
% \end{macro}
%
%
%
% As usual, we provide a \texttt{new} and a \texttt{provide} variant wrapped
% around this that do proper error checking.
%
%
%
% \begin{macro}
% {
% \groupthm_new_grouped_theorem:nnnn,
@ -2044,12 +2042,10 @@
% \end{macrocode}
% \end{macro}
%
%
%
% The star variants of these that add the \texttt{unnumbered} group
% are straightforward:
%
%
% \begin{macro}{\groupthm_new_grouped_theorem_star:nnnn}
%
% \begin{macrocode}
@ -2061,7 +2057,6 @@
% \end{macrocode}
% \end{macro}
%
%
%
% \begin{macro}{\groupthm_provide_grouped_theorem_star:nnnn}
% \begin{syntax}