texlive[49865] Master/texmf-dist: apxproof (29jan19)
commits+karl at tug.org
commits+karl at tug.org
Tue Jan 29 23:13:34 CET 2019
Revision: 49865
http://tug.org/svn/texlive?view=revision&revision=49865
Author: karl
Date: 2019-01-29 23:13:34 +0100 (Tue, 29 Jan 2019)
Log Message:
-----------
apxproof (29jan19)
Modified Paths:
--------------
trunk/Master/texmf-dist/doc/latex/apxproof/README.md
trunk/Master/texmf-dist/doc/latex/apxproof/apxproof.pdf
trunk/Master/texmf-dist/source/latex/apxproof/apxproof.dtx
trunk/Master/texmf-dist/tex/latex/apxproof/apxproof.sty
Added Paths:
-----------
trunk/Master/texmf-dist/source/latex/apxproof/Makefile
Removed Paths:
-------------
trunk/Master/texmf-dist/doc/latex/apxproof/Makefile
Deleted: trunk/Master/texmf-dist/doc/latex/apxproof/Makefile
===================================================================
--- trunk/Master/texmf-dist/doc/latex/apxproof/Makefile 2019-01-29 22:13:18 UTC (rev 49864)
+++ trunk/Master/texmf-dist/doc/latex/apxproof/Makefile 2019-01-29 22:13:34 UTC (rev 49865)
@@ -1,20 +0,0 @@
-all: apxproof.pdf apxproof.sty
-
-clean:
- -rm -f *.aux *.log *.gl? *.idx *.ilg *.fls *.ind *.axp *.bbl *.blg *.hd *.out
-
-ctan:
- git archive --format zip master --prefix=apxproof/ --output apxproof.zip
-
-%.pdf: %.dtx %.sty
- pdflatex $<
- makeindex -s gind.ist $(patsubst %.pdf,%.idx,$@)
- makeindex -s gglo.ist -o $(patsubst %.pdf,%.gls,$@) $(patsubst %.pdf,%.glo,$@)
- bibtex $(patsubst %.pdf,%,$@)
- bibtex bu1
- pdflatex $<
- pdflatex $<
-
-%.sty: %.ins %.dtx
- -rm $@
- latex $<
Modified: trunk/Master/texmf-dist/doc/latex/apxproof/README.md
===================================================================
--- trunk/Master/texmf-dist/doc/latex/apxproof/README.md 2019-01-29 22:13:18 UTC (rev 49864)
+++ trunk/Master/texmf-dist/doc/latex/apxproof/README.md 2019-01-29 22:13:34 UTC (rev 49865)
@@ -34,7 +34,7 @@
## License
-Copyright © 2016-2018 by Pierre Senellart.
+Copyright © 2016-2019 by Pierre Senellart.
This work may be distributed and/or modified under the conditions of the
LaTeX Project Public License, either version 1.3 of this license or (at
Modified: trunk/Master/texmf-dist/doc/latex/apxproof/apxproof.pdf
===================================================================
(Binary files differ)
Added: trunk/Master/texmf-dist/source/latex/apxproof/Makefile
===================================================================
--- trunk/Master/texmf-dist/source/latex/apxproof/Makefile (rev 0)
+++ trunk/Master/texmf-dist/source/latex/apxproof/Makefile 2019-01-29 22:13:34 UTC (rev 49865)
@@ -0,0 +1,20 @@
+all: apxproof.pdf apxproof.sty
+
+clean:
+ -rm -f *.aux *.log *.gl? *.idx *.ilg *.fls *.ind *.axp *.bbl *.blg *.hd *.out
+
+ctan:
+ git archive --format zip master --prefix=apxproof/ --output apxproof.zip
+
+%.pdf: %.dtx %.sty
+ pdflatex $<
+ makeindex -s gind.ist $(patsubst %.pdf,%.idx,$@)
+ makeindex -s gglo.ist -o $(patsubst %.pdf,%.gls,$@) $(patsubst %.pdf,%.glo,$@)
+ bibtex $(patsubst %.pdf,%,$@)
+ bibtex bu1
+ pdflatex $<
+ pdflatex $<
+
+%.sty: %.ins %.dtx
+ -rm $@
+ latex $<
Property changes on: trunk/Master/texmf-dist/source/latex/apxproof/Makefile
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/Master/texmf-dist/source/latex/apxproof/apxproof.dtx
===================================================================
--- trunk/Master/texmf-dist/source/latex/apxproof/apxproof.dtx 2019-01-29 22:13:18 UTC (rev 49864)
+++ trunk/Master/texmf-dist/source/latex/apxproof/apxproof.dtx 2019-01-29 22:13:34 UTC (rev 49865)
@@ -1,6 +1,6 @@
% \iffalse meta-comment
%
-% Copyright (C) 2016-2018 by Pierre Senellart
+% Copyright (C) 2016-2019 by Pierre Senellart
%
% This work may be distributed and/or modified under the
% conditions of the LaTeX Project Public License, either version 1.3
@@ -24,7 +24,7 @@
% \iffalse
%<package>\NeedsTeXFormat{LaTeX2e}[2005/12/01]
%<package>\ProvidesPackage{apxproof}
-%<package> [2018/08/08 v1.1.0 Automatic proofs in appendix]
+%<package> [2019/01/28 v1.1.1 Automatic proofs in appendix]
%
%<*driver>
\documentclass{ltxdoc}
@@ -45,7 +45,7 @@
%</driver>
% \fi
%
-% \CheckSum{716}
+% \CheckSum{729}
%
% \CharacterTable
% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
@@ -448,9 +448,6 @@
% \item |appendixproof|, |proof|, |toappendix| environments cannot be nested. This is a limitation of
% the \textsf{fancyvrb} package that \textsf{apxproof} relies on. Note
% the existence of the |nestedproof| environment for nested proofs.
-% \item \textsf{apxproof} is incompatible with a separate use of the
-% \textsf{fancyvrb} package. This is because \textsf{apxproof} redefines
-% some internal mechanisms of \textsf{fancyvrb}.
% \item \textsf{apxproof} poorly interacts with Sync\TeX: identifying
% which source line has produced which box does not work for appendix
% content managed by \textsf{apxproof} or repeated theorems. No obvious
@@ -460,7 +457,7 @@
% Issues not listed here should be reported to the author.
%
% \section{License}
-% Copyright \textcopyright{} 2016--2018 by Pierre Senellart.
+% Copyright \textcopyright{} 2016--2019 by Pierre Senellart.
%
% This work may be distributed and/or modified under the conditions of the
% \LaTeX{} Project Public License, either version 1.3 of this license or (at
@@ -885,16 +882,37 @@
% \end{macrocode}
% \end{macro}
% \end{environment}
-% \begin{macro}{\FVB at VerbatimOut}
-% \begin{macro}{\FVE at VerbatimOut}
-% We modify the internal behavior of the \textsf{fancyvrb} package to
-% write to the |\axp at proofsfile|, without closing it and re-opening it
-% on every write.
-% \begin{macrocode}
- \def\FVB at VerbatimOut{%
+% \begin{macro}{\axp at unactivateeightbit}
+% \changes{v1.1.0-dev}{2019/01/28}{Fix compilation of non-ASCII
+% characters with \texttt{\textbackslash usepackage[utf8]\{inputenc\}}}
+% We need an auxiliary macro to disable active characters that have the
+% high bit set when writing to the |.axp| file. See
+% \url{https://tex.stackexchange.com/a/145361/166858}
+% \begin{macrocode}
+ \def\axp at unactivateeightbit{%
+ \count@=128%
+ \loop
+ \catcode\count@=12%
+ \ifnum\count@<255%
+ \advance\count@\@ne
+ \repeat}
+% \end{macrocode}
+% \end{macro}
+% \begin{environment}{axp at VerbatimOut}
+% \begin{macro}{\FVB at axp@VerbatimOut}
+% \begin{macro}{\FVE at axp@VerbatimOut}
+% \changes{v1.1.0-dev}{2018/10/02}{Make \textsf{apxproof} compatible with
+% independent use of \textsf{fancyvrb}}
+% Using the functionalities of the \textsf{fancyvrb} package, we define a
+% custom verbatim environment |axp at VerbatimOut| that writes every line
+% to the |\axp at proofsfile|. We also use the previous macro to disable active
+% characters with the eighth bit set.
+% \begin{macrocode}
+ \DefineVerbatimEnvironment{axp at VerbatimOut}{axp at VerbatimOut}{}
+ \def\FVB at axp@VerbatimOut{%
\@bsphack
\begingroup
- \FV at UseKeyValues
+ \axp at unactivateeightbit
\FV at DefineWhiteSpace
\def\FV at Space{\space}%
\FV at DefineTabOut
@@ -902,17 +920,18 @@
\let\FV at FontScanPrep\relax
\let\@noligs\relax
\FV at Scan}
- \def\FVE at VerbatimOut{\endgroup\@esphack}
-% \end{macrocode}
+ \def\FVE at axp@VerbatimOut{\endgroup\@esphack}
+% \end{macrocode}
+% \end{macro}
% \end{macro}
-% \end{macro}
+% \end{environment}
% \begin{environment}{toappendix}
% The entire content of this environment is put in appendix,
% starting a new appendix section beforehand if needed.
% \begin{macrocode}
\newenvironment{toappendix}
- {\axp at writesection\VerbatimOut}
- {\endVerbatimOut}
+ {\axp at writesection\axp at VerbatimOut}
+ {\endaxp at VerbatimOut}
% \end{macrocode}
% \end{environment}
% \subsubsection{Definition of New Theorems}
@@ -1150,10 +1169,10 @@
\immediate\write\axp at proofsfile{%
\noexpand\begin{axp at oldproof}%
}%
- \VerbatimOut
+ \axp at VerbatimOut
}
{%
- \endVerbatimOut
+ \endaxp at VerbatimOut
\immediate\write\axp at proofsfile{%
\noexpand\end{axp at oldproof}%
}%
Modified: trunk/Master/texmf-dist/tex/latex/apxproof/apxproof.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/apxproof/apxproof.sty 2019-01-29 22:13:18 UTC (rev 49864)
+++ trunk/Master/texmf-dist/tex/latex/apxproof/apxproof.sty 2019-01-29 22:13:34 UTC (rev 49865)
@@ -27,7 +27,7 @@
%%
\NeedsTeXFormat{LaTeX2e}[2005/12/01]
\ProvidesPackage{apxproof}
- [2018/08/08 v1.1.0 Automatic proofs in appendix]
+ [2019/01/28 v1.1.1 Automatic proofs in appendix]
\RequirePackage{bibunits}
\RequirePackage{environ}
\RequirePackage{etoolbox}
@@ -184,10 +184,18 @@
\noexpand\let\noexpand\section\noexpand\axp at oldsection
}
}
- \def\FVB at VerbatimOut{%
+ \def\axp at unactivateeightbit{%
+ \count@=128%
+ \loop
+ \catcode\count@=12%
+ \ifnum\count@<255%
+ \advance\count@\@ne
+ \repeat}
+ \DefineVerbatimEnvironment{axp at VerbatimOut}{axp at VerbatimOut}{}
+ \def\FVB at axp@VerbatimOut{%
\@bsphack
\begingroup
- \FV at UseKeyValues
+ \axp at unactivateeightbit
\FV at DefineWhiteSpace
\def\FV at Space{\space}%
\FV at DefineTabOut
@@ -195,10 +203,10 @@
\let\FV at FontScanPrep\relax
\let\@noligs\relax
\FV at Scan}
- \def\FVE at VerbatimOut{\endgroup\@esphack}
+ \def\FVE at axp@VerbatimOut{\endgroup\@esphack}
\newenvironment{toappendix}
- {\axp at writesection\VerbatimOut}
- {\endVerbatimOut}
+ {\axp at writesection\axp at VerbatimOut}
+ {\endaxp at VerbatimOut}
\newtoggle{axp at seenreptheorem}
\newcounter{axp at rpcounter}
\newcounter{axp at equation}
@@ -297,10 +305,10 @@
\immediate\write\axp at proofsfile{%
\noexpand\begin{axp at oldproof}%
}%
- \VerbatimOut
+ \axp at VerbatimOut
}
{%
- \endVerbatimOut
+ \endaxp at VerbatimOut
\immediate\write\axp at proofsfile{%
\noexpand\end{axp at oldproof}%
}%
More information about the tex-live-commits
mailing list