fix bugs in refproof

This commit is contained in:
Maximilian Keßler 2022-01-11 22:57:37 +01:00
parent 613e16998b
commit 70426b2d22

View file

@ -119,7 +119,7 @@ __END_OPTIONS_X__
\setcounter{claim}{\FSTop{__PACKAGE_PREFIX__save@claim}} \setcounter{claim}{\FSTop{__PACKAGE_PREFIX__save@claim}}
\FSPop{__PACKAGE_PREFIX__save@claim} \FSPop{__PACKAGE_PREFIX__save@claim}
\addtocounter{__PACKAGE_PREFIX__proofdepth}{-1} \addtocounter{__PACKAGE_PREFIX__proofdepth}{-1}
\let\theclaim__PACKAGE_MACRO__(saved@theclaim) \let\theclaim__PACKAGE_MACRO__(saved@theclaim)
} }
%%% A 'smart' proof environment %%% A 'smart' proof environment
@ -131,6 +131,7 @@ __END_OPTIONS_X__
\protected@edef__PACKAGE_MACRO__(dummy@expand){\arabic{claim}} \protected@edef__PACKAGE_MACRO__(dummy@expand){\arabic{claim}}
\FSPush{__PACKAGE_PREFIX__save@claim}{__PACKAGE_MACRO__(dummy@expand)} \FSPush{__PACKAGE_PREFIX__save@claim}{__PACKAGE_MACRO__(dummy@expand)}
\setcounter{claim}{0} \setcounter{claim}{0}
\let__PACKAGE_MACRO__(saved@theclaim)\theclaim
\def\theclaim{\arabic{claim}} \def\theclaim{\arabic{claim}}
\ifnum\value{__PACKAGE_PREFIX__proofdepth}>1% \ifnum\value{__PACKAGE_PREFIX__proofdepth}>1%
__PACKAGE_MACRO__(saved@subproof)[% __PACKAGE_MACRO__(saved@subproof)[%
@ -157,6 +158,8 @@ __END_OPTIONS_X__
%Restore previous claim counter %Restore previous claim counter
\setcounter{claim}{\FSTop{__PACKAGE_PREFIX__save@claim}} \setcounter{claim}{\FSTop{__PACKAGE_PREFIX__save@claim}}
\FSPop{__PACKAGE_PREFIX__save@claim} \FSPop{__PACKAGE_PREFIX__save@claim}
\addtocounter{__PACKAGE_PREFIX__proofdepth}{-1}
\let\theclaim__PACKAGE_MACRO__(saved@theclaim)
} }
} }