texlive[67399] Master/texmf-dist: prooftrees (18jun23)

commits+karl at tug.org commits+karl at tug.org
Sun Jun 18 22:03:47 CEST 2023 

Revision: 67399
          http://tug.org/svn/texlive?view=revision&revision=67399
Author:   karl
Date:     2023-06-18 22:03:47 +0200 (Sun, 18 Jun 2023)
Log Message:
-----------
prooftrees (18jun23)

Modified Paths:
--------------
    trunk/Master/texmf-dist/doc/latex/prooftrees/manifest.txt
    trunk/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf
    trunk/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex
    trunk/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib
    trunk/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty

Modified: trunk/Master/texmf-dist/doc/latex/prooftrees/manifest.txt
===================================================================
--- trunk/Master/texmf-dist/doc/latex/prooftrees/manifest.txt	2023-06-18 16:46:20 UTC (rev 67398)
+++ trunk/Master/texmf-dist/doc/latex/prooftrees/manifest.txt	2023-06-18 20:03:47 UTC (rev 67399)
@@ -1,4 +1,4 @@
-Copyright 2019 Clea F. Rees
+Copyright 2023 Clea F. Rees
 
 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 your option) any later version.  The latest version of this license is in http://www.latex-project.org/lppl.txt and version 1.3 or later is part of all distributions of LaTeX version 2005/12/01 or later.
 

Modified: trunk/Master/texmf-dist/doc/latex/prooftrees/prooftrees.pdf
===================================================================
(Binary files differ)

Modified: trunk/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex	2023-06-18 16:46:20 UTC (rev 67398)
+++ trunk/Master/texmf-dist/doc/latex/prooftrees/prooftrees.tex	2023-06-18 20:03:47 UTC (rev 67399)
@@ -1,4 +1,4 @@
-%% Copyright 2019 Clea F. Rees
+%% Copyright 2023 Clea F. Rees
 %
 % This work may be distributed and/or modified under the
 % conditions of the LaTeX Project Public License, either version 1.3
@@ -20,7 +20,7 @@
 %%
 \pdfminorversion=7
 \RequirePackage{svn-prov}
-\ProvidesFileSVN{$Id: prooftrees.tex 8642 2019-09-30 00:20:55Z cfrees $}[v0.7 \revinfo]
+\ProvidesFileSVN{$Id: prooftrees.tex 9582 2023-06-18 01:00:05Z cfrees $}[v0.8 \revinfo]
 \GetFileInfoSVN*
 \let\prooftreesdocversion\fileversion
 \let\prooftreesdocbase\filebase
@@ -27,8 +27,8 @@
 \let\prooftreesdocinfo\fileinfo
 \let\prooftreesdocdate\filedate
 % BEGIN preamble
-\documentclass[10pt,british,a4paper]{ltxdoc}
-\usepackage{babel,geometry,pageslts,fancyhdr}
+\documentclass[10pt,british,a4paper,doc2]{ltxdoc}
+\usepackage{babel,geometry,pageslts,fancyhdr,enumitem}
 \usepackage[utf8]{inputenc}
 \usepackage{csquotes}
   \MakeAutoQuote{‘}{’}
@@ -936,7 +936,7 @@
 
 Turning to tree \nyth*{}, we again note that its \bocsnyth{} is nested within the previous two, so the square brackets for its \wff{} need to be nested within those for the previous \wff{}s.
 This time, we want to mark the line as discharged without substitution, so we simply use \keyname[fstyle]{checked} without a value.
-Since the justification for this line includes mathematics, we need to ensure that the relevant part of the justification is surrounded by \verb|$|\dots\verb|$| or \verb|\(|\dots\verb|\)|.
+Since the justification for this line includes mathematics, we need to ensure that the relevant part of the justification is surrounded by \verb|$|\dots \verb|$| or \verb|\(|\dots\verb|\)|.
 This justification also refers to an earlier line in the proof.
 We could write this as \verb|just=1 $\exists\elim$|, but instead we use the name we assigned earlier with the referencing feature provided by \pkg{prooftrees}.
 To do this, we put the reference, \verb|pr| \emph{after} the rest of the justification, separating the two parts by a colon i.e.~\verb|$\exists\elim$:pr| and allow \pkg{prooftrees} to figure out the correct number.
@@ -982,7 +982,7 @@
 \end{prooftree}
 \end{latexcode}
 
-Reaching \nyth*{}, things get a little more complex since we how have not one, but \emph{two} \bocsnyth{} nested within \nyth[7].
+Reaching \nyth*{}, things get a little more complex since we now have not one, but \emph{two} \bocsnyth{} nested within \nyth[7].
 This means that we need \emph{two} sets of square brackets for \nyth{} --- one for each of its two trees.
 Again, both of these should be nested within the square brackets for \nyth[7] but neither should be nested within the other because the trees for the two branches at \nyth{} are distinct.
 \begin{latexcode}
@@ -1933,8 +1933,14 @@
 \section{Version History}\label{sec:hanes}
 % BEGIN sec:hanes
 
-\subsection*{0.7}\label{subsec:v0.7}
+\subsection{0.8}
+Add previously unnoticed dependency on \pkg{amstext}.
+Attempt to fix straying closure symbols evident in documentation and a \TeX\ SE question\footnote{\url{https://tex.stackexchange.com/q/619314/}.}
 
+Documentation now loads \pkg{enumitem}, since it depended on it already anyway and specifies \verb|doc2| in options for \cls{ltxdoc} as the code is incompatible with the current version.
+
+\subsection{0.7}\label{subsec:v0.7}
+
 % BEGIN subsec:v0.7
 
 Implement \keyname[fregbool]{auto move}.
@@ -1949,7 +1955,7 @@
 
 % END subsec:v0.7
 
-\subsection*{0.6}\label{subsec:v0.6}
+\subsection{0.6}\label{subsec:v0.6}
 
 % BEGIN subsec:v0.6
 
@@ -1959,7 +1965,7 @@
 
 % END subsec:v0.6
 
-\subsection*{0.5}\label{subsec:v0.5}
+\subsection{0.5}\label{subsec:v0.5}
 % BEGIN subsec:v0.5
 
 Significant re-implementation leveraging the new argument processing facilities in \pkg{forest} 2.1.
@@ -1967,7 +1973,7 @@
 
 % END subsec:v0.5
 
-\subsection*{0.41}\label{subsec:v0.41}
+\subsection{0.41}\label{subsec:v0.41}
 % BEGIN subsec:v0.41
 
 Update for compatibility with \pkg{forest} 2.1.
@@ -1974,7 +1980,7 @@
 
 % END subsec:v0.41
 
-\subsection*{0.4}\label{subsec:v0.4}
+\subsection{0.4}\label{subsec:v0.4}
 % BEGIN subsec:v0.4
 
 Bug fix release:
@@ -1985,7 +1991,7 @@
 
 % END subsec:v0.4
 
-\subsection*{0.3}\label{subsec:v0.3}
+\subsection{0.3}\label{subsec:v0.3}
 % BEGIN subsec:v0.3
 
 First CTAN release.

Modified: trunk/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib
===================================================================
--- trunk/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib	2023-06-18 16:46:20 UTC (rev 67398)
+++ trunk/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib	2023-06-18 20:03:47 UTC (rev 67399)
@@ -1,13 +1,19 @@
+ at STRING{HODGES = "Hodges, Wilfred"}
+ at STRING{PENGUIN = "Penguin"}
+ at STRING{TANTAU-TILL = "Tantau, Till"}
+ at STRING{ZIVANOVIC-SASO = "Živanović, Sašo"}
+
 @BOOK{hodges-logic,
-  AUTHOR = {Hodges, Wilfred},
-  PUBLISHER = {Penguin},
-  DATE = {1977, 1991},
+  AUTHOR = HODGES,
+  PUBLISHER = PENGUIN,
+  DATE = {1991},
   ISBN = {0140136363},
+  ORIGDATE = {1977},
   TITLE = {Logic: An Introduction to Elementary Logic},
 }
 
 @MANUAL{tantau-tikz-pgf-manual,
-  AUTHOR = {Tantau, Till},
+  AUTHOR = TANTAU-TILL,
   URL = {http://sourceforge.net/projects/pgf},
   DATE = {2015-08-29},
   EDITION = {3.0.1a},
@@ -17,7 +23,7 @@
 }
 
 @MANUAL{saso-forest-manual,
-  AUTHOR = {Živanović, Sašo},
+  AUTHOR = ZIVANOVIC-SASO,
   URL = {http://spj.ff.uni-lj.si/zivanovic/},
   DATE = {2016-03-04},
   EDITION = {2.0.2},

Modified: trunk/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty	2023-06-18 16:46:20 UTC (rev 67398)
+++ trunk/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty	2023-06-18 20:03:47 UTC (rev 67399)
@@ -1,4 +1,4 @@
-%% Copyright 2019 Clea F. Rees
+%% Copyright 2020 Clea F. Rees
 %
 % This work may be distributed and/or modified under the
 % conditions of the LaTeX Project Public License, either version 1.3
@@ -16,7 +16,7 @@
 %%
 \NeedsTeXFormat{LaTeX2e}
 \RequirePackage{svn-prov}
-\ProvidesPackageSVN{$Id: prooftrees.sty 8641 2019-09-29 23:57:27Z cfrees $}[v0.7 \revinfo]
+\ProvidesPackageSVN{$Id: prooftrees.sty 9103 2022-04-02 04:28:09Z cfrees $}[v0.8 \revinfo]
 \RequirePackage{etoolbox}
 % define \prooftrees at enw to hold the name of the environment
 % default is to name the environment prooftree, this ensures backwards compatibility
@@ -31,7 +31,7 @@
 % let users override the default prooftree in case they need to load bussproofs later
 \ProcessOptions
 \RequirePackage{forest}[2016/12/04]
-\RequirePackage{amssymb}
+\RequirePackage{amssymb,amstext}
 \newcommand*\linenumberstyle[1]{#1.}
 % currently, keys starting 'proof tree' and macros starting 'prooftree' or 'prooftree@' are intended for internal use only
 % this does not apply to the environment prooftree
@@ -195,6 +195,7 @@
           process keylist register=close with format,
           before computing xy={% adjust the distance between the closure symbol and any annotation
             delay={%
+              l'=\baselineskip,% cywiro? fel arall, bydda'r peth byth yn cael ei wneud achos proof tree phantom? dim yn siwr o gwbl
               for children={%
                 l/.register=close sep,
               },

More information about the tex-live-commits mailing list.