From c3b77985275c03f51b36da6ee602a2190eed7ddb Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sun, 18 Jun 2023 20:03:47 +0000 Subject: prooftrees (18jun23) git-svn-id: svn://tug.org/texlive/trunk@67399 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'Master/texmf-dist/tex/latex') diff --git a/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty b/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty index 2f0e2a2a260..c28a6c96881 100644 --- a/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty +++ b/Master/texmf-dist/tex/latex/prooftrees/prooftrees.sty @@ -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@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, }, -- cgit v1.2.3