summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/proof-at-the-end
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-08-24 19:39:20 +0000
committerKarl Berry <karl@freefriends.org>2022-08-24 19:39:20 +0000
commit5b14d39028b46c692365b5b9523dbf30944c4dc7 (patch)
tree1344035aab7cfd13a02e7171390847ed34516732 /Master/texmf-dist/doc/latex/proof-at-the-end
parent2f8ba8b7c64228cd5e22bfbe6cfca3155b150af4 (diff)
proof-at-the-end (24aug22)
git-svn-id: svn://tug.org/texlive/trunk@64188 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/proof-at-the-end')
-rw-r--r--Master/texmf-dist/doc/latex/proof-at-the-end/README.md3
-rw-r--r--Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdfbin321713 -> 329486 bytes
-rw-r--r--Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdfbin121559 -> 133735 bytes
-rw-r--r--Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.tex55
4 files changed, 56 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/proof-at-the-end/README.md b/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
index 9f27306c59a..f1f061c4786 100644
--- a/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
+++ b/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
@@ -22,7 +22,7 @@ NB: This project is hosted on github at [https://github.com/leo-colisson/proof-a
Disclaimer: This package is still in beta and not considered as stable.
-This package is licensed under LPPL v1.3, and the last version of this package on CTAN is 2019/05/21.
+This package is licensed under LPPL v1.3, and the last version of this package on CTAN is 2022/08/24.
## Demo ##
@@ -573,6 +573,7 @@ In anycase, there exists some workarounds, some of the are for instance give in
## Changelog
+- 2022/08/24: Fix the issues on KOMA classes https://github.com/leo-colisson/proof-at-the-end/issues/11
- 2022/02/07:
1. [issue 2](https://github.com/leo-colisson/proof-at-the-end/issues/2) was not really solved in fact... Now, I use a more robust method to detect the current section: I write in an AUX file the label of the proof section. This way, I don't need anymore to use dirty tricks to recover the section label.
2. Change the default text when the appendix is in an external file, and add options like `text link external appendix` to customize the text appearing when the appendix is in an external file. Of course, you can still change it using `text link` directly.
diff --git a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
index 2ab8e9e0675..64cfb5be1bb 100644
--- a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
+++ b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
index 81acbaf753c..7e6e7fd1b84 100644
--- a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
+++ b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.tex b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.tex
index 26b087cbea9..5ecc5d2c3b9 100644
--- a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.tex
+++ b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.tex
@@ -304,7 +304,6 @@ It should also deal with protected commands: $\mathtt{mathtt}$:
With a normal proof
\end{proofEnd}
-
\section{Section with late theorems}\label{sec:restateafter}
\begin{theoremEnd}[restated before]{thm}
laterrestatable
@@ -313,6 +312,60 @@ It should also deal with protected commands: $\mathtt{mathtt}$:
To state a theorem before the initial definition, use theoremEndRestateBefore environment where you first want to state the theorem, with a unique name in the second mandatory argument, and when you want to insert the theorem for the second time, use the usual theoremProofEnd command with the same unique name as before in place of the theorem definition and the ``restated before'' option.
\end{proofEnd}
+\pratendEnableDebugSynctex{}
+
+\begin{thmE}[My own environment][end]
+ This proof
+
+ should go
+
+ in appendix.
+
+ But to make synctex work
+
+ we can force the environments
+
+ to behave like normal theorems or proofs
+
+ using \texttt{pratendEnableDebugSynctex} and \texttt{pratendDisableDebugSynctex} around the theorem.
+
+ You can try now (note that restate is not compatible with this mode as the restate library is not working with synctex due to a quite \href{https://tex.stackexchange.com/questions/643294/synctex-make-it-work-with-environment-accessing-its-content-e-g-environ-or-xp}{fundamental limitation of LaTeX}).
+\end{thmE}
+\begin{proofED}
+ See
+
+ how this
+
+ long proof works
+
+ with synctex now. And solve \href{https://github.com/leo-colisson/proof-at-the-end/issues/10}{Issue 10}.
+\end{proofED}
+
+
+\pratendDisableDebugSynctex{}
+
+You can also use shortcuts like:
+
+\begin{thmED}[My own environment][end]
+ Here
+
+ Is
+
+ An
+
+ example to test synctex.
+\end{thmED}
+\begin{proofEndDebug}
+ See
+
+ how this
+
+ long proof works
+
+ with synctex now.
+\end{proofEndDebug}
+
+
\section{Section with standard proofs}
% \verbatiminput{defaultcategory}
\printProofs