summaryrefslogtreecommitdiff
path: root/graphics/pgf/contrib/prooftrees/README
diff options
context:
space:
mode:
Diffstat (limited to 'graphics/pgf/contrib/prooftrees/README')
-rw-r--r--graphics/pgf/contrib/prooftrees/README39
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: