diff options
Diffstat (limited to 'graphics/pgf/contrib/prooftrees/README')
-rw-r--r-- | graphics/pgf/contrib/prooftrees/README | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/graphics/pgf/contrib/prooftrees/README b/graphics/pgf/contrib/prooftrees/README deleted file mode 100644 index 687eddf510..0000000000 --- a/graphics/pgf/contrib/prooftrees/README +++ /dev/null @@ -1,39 +0,0 @@ -%% Copyright 2019 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. -% -% This work has the LPPL maintenance status `maintained'. -% -% The Current Maintainer of this work is Clea F. Rees. -% -% This work consists of all files listed in manifest.txt. - -This package supports drawing tableaux (proof trees) of the kind often used in -introductory logic classes, especially those aimed at students without strong -mathemtical backgrounds. Hodges (1991) is one example of a text which uses -this system. When teaching such a system it is especially useful to annotate -the tree with line numbers, justifications and explanations of branch -closures. - -prooftrees provides a single environment, prooftree, and a variety of tools -for annotating, customising and highlighting such trees. A cross-referencing -system is provided for trees which cite line numbers in justifications for -proof lines or branch closures. - -prooftrees is based on Forest and, hence, TikZ. The package requires version -2.1+ of Forest for expected results and will not work with version 1. - -The author is certain that some of her beliefs are false, but sure that her -belief that prooftrees has bugs is not among them. - -Clea F. Rees -ReesC21 <at> cardiff <dot> ac <dot> uk -2019/09/30 - -vim: set nospell: |