fix bugs in refproof
Build branch topology-1 (70426b2) from kesslermaximilian/LatexPackages
This commit is contained in:
parent
23d6171b2b
commit
6d4ad4233d
4 changed files with 15 additions and 12 deletions
|
@ -1,8 +1,8 @@
|
||||||
{
|
{
|
||||||
"build_time": "",
|
"build_time": "",
|
||||||
"source files": {
|
"source files": {
|
||||||
"version": "v2.5.1-3-g613e169",
|
"version": "v2.5.1-4-g70426b2",
|
||||||
"commit": "613e16998bf1d6e76baad8e171a9ad5d23a790c3",
|
"commit": "70426b2d22189defb1843501803e4d3ec96c7715",
|
||||||
"dirty": false
|
"dirty": false
|
||||||
},
|
},
|
||||||
"pytex": {
|
"pytex": {
|
||||||
|
@ -44,9 +44,9 @@
|
||||||
{
|
{
|
||||||
"name": "mkessler-refproof.sty",
|
"name": "mkessler-refproof.sty",
|
||||||
"source file": "refproof.pysty",
|
"source file": "refproof.pysty",
|
||||||
"build time": "2022/01/11 20:41",
|
"build time": "2022/01/11 21:58",
|
||||||
"source version": "v2.5.1-1-gda44daa",
|
"source version": "v2.5.1-4-g70426b2",
|
||||||
"source commit hash": "da44daa271827e7dccb05e12f990638b24297b48",
|
"source commit hash": "70426b2d22189defb1843501803e4d3ec96c7715",
|
||||||
"pytex version": "v1.2.0-16-gd1806d9",
|
"pytex version": "v1.2.0-16-gd1806d9",
|
||||||
"pytex commit hash": "d1806d970fb0c93ba4d41d0b97efabab5415e984",
|
"pytex commit hash": "d1806d970fb0c93ba4d41d0b97efabab5415e984",
|
||||||
"dirty": false
|
"dirty": false
|
||||||
|
@ -324,9 +324,9 @@
|
||||||
{
|
{
|
||||||
"name": "translator-mathematical-categories-dictionary-{language}.dict",
|
"name": "translator-mathematical-categories-dictionary-{language}.dict",
|
||||||
"source file": "mathematical-categories.pydict",
|
"source file": "mathematical-categories.pydict",
|
||||||
"build time": "2022/01/11 21:17",
|
"build time": "2022/01/11 21:58",
|
||||||
"source version": "v2.5.1-3-g613e169",
|
"source version": "v2.5.1-4-g70426b2",
|
||||||
"source commit hash": "613e16998bf1d6e76baad8e171a9ad5d23a790c3",
|
"source commit hash": "70426b2d22189defb1843501803e4d3ec96c7715",
|
||||||
"pytex version": "v1.2.0-16-gd1806d9",
|
"pytex version": "v1.2.0-16-gd1806d9",
|
||||||
"pytex commit hash": "d1806d970fb0c93ba4d41d0b97efabab5415e984",
|
"pytex commit hash": "d1806d970fb0c93ba4d41d0b97efabab5415e984",
|
||||||
"dirty": false
|
"dirty": false
|
||||||
|
|
|
@ -27,7 +27,7 @@
|
||||||
%
|
%
|
||||||
% Build details:
|
% Build details:
|
||||||
% PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
|
% PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
|
||||||
% Source code version: v2.5.1-3-g613e169 (commit 613e169)
|
% Source code version: v2.5.1-4-g70426b2 (commit 70426b2)
|
||||||
%
|
%
|
||||||
% This LaTeX dictionary is free software and distributed under the MIT License. You
|
% This LaTeX dictionary is free software and distributed under the MIT License. You
|
||||||
% may use it freely for your purposes. The latest version of the dictionary can be
|
% may use it freely for your purposes. The latest version of the dictionary can be
|
||||||
|
|
|
@ -27,7 +27,7 @@
|
||||||
%
|
%
|
||||||
% Build details:
|
% Build details:
|
||||||
% PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
|
% PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
|
||||||
% Source code version: v2.5.1-3-g613e169 (commit 613e169)
|
% Source code version: v2.5.1-4-g70426b2 (commit 70426b2)
|
||||||
%
|
%
|
||||||
% This LaTeX dictionary is free software and distributed under the MIT License. You
|
% This LaTeX dictionary is free software and distributed under the MIT License. You
|
||||||
% may use it freely for your purposes. The latest version of the dictionary can be
|
% may use it freely for your purposes. The latest version of the dictionary can be
|
||||||
|
|
|
@ -27,7 +27,7 @@
|
||||||
%
|
%
|
||||||
% Build details:
|
% Build details:
|
||||||
% PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
|
% PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
|
||||||
% Source code version: v2.5.1-1-gda44daa (commit da44daa)
|
% Source code version: v2.5.1-4-g70426b2 (commit 70426b2)
|
||||||
%
|
%
|
||||||
% This LaTeX package is free software and distributed under the MIT License. You
|
% This LaTeX package is free software and distributed under the MIT License. You
|
||||||
% may use it freely for your purposes. The latest version of the package can be
|
% may use it freely for your purposes. The latest version of the package can be
|
||||||
|
@ -167,7 +167,7 @@
|
||||||
\setcounter{claim}{\FSTop{mkessler@refproof@save@claim}}
|
\setcounter{claim}{\FSTop{mkessler@refproof@save@claim}}
|
||||||
\FSPop{mkessler@refproof@save@claim}
|
\FSPop{mkessler@refproof@save@claim}
|
||||||
\addtocounter{mkessler@refproof@proofdepth}{-1}
|
\addtocounter{mkessler@refproof@proofdepth}{-1}
|
||||||
\let\theclaim\mkessler@refproof@saved@theclaim
|
\let\theclaim\mkessler@refproof@saved@theclaim
|
||||||
}
|
}
|
||||||
|
|
||||||
%%% A 'smart' proof environment
|
%%% A 'smart' proof environment
|
||||||
|
@ -179,6 +179,7 @@
|
||||||
\protected@edef\mkessler@refproof@dummy@expand{\arabic{claim}}
|
\protected@edef\mkessler@refproof@dummy@expand{\arabic{claim}}
|
||||||
\FSPush{mkessler@refproof@save@claim}{\mkessler@refproof@dummy@expand}
|
\FSPush{mkessler@refproof@save@claim}{\mkessler@refproof@dummy@expand}
|
||||||
\setcounter{claim}{0}
|
\setcounter{claim}{0}
|
||||||
|
\let\mkessler@refproof@saved@theclaim\theclaim
|
||||||
\def\theclaim{\arabic{claim}}
|
\def\theclaim{\arabic{claim}}
|
||||||
\ifnum\value{mkessler@refproof@proofdepth}>1%
|
\ifnum\value{mkessler@refproof@proofdepth}>1%
|
||||||
\mkessler@refproof@saved@subproof[%
|
\mkessler@refproof@saved@subproof[%
|
||||||
|
@ -205,6 +206,8 @@
|
||||||
%Restore previous claim counter
|
%Restore previous claim counter
|
||||||
\setcounter{claim}{\FSTop{mkessler@refproof@save@claim}}
|
\setcounter{claim}{\FSTop{mkessler@refproof@save@claim}}
|
||||||
\FSPop{mkessler@refproof@save@claim}
|
\FSPop{mkessler@refproof@save@claim}
|
||||||
|
\addtocounter{mkessler@refproof@proofdepth}{-1}
|
||||||
|
\let\theclaim\mkessler@refproof@saved@theclaim
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue