diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex')
-rw-r--r-- | Master/texmf-dist/doc/latex/lplfitch/README | 42 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/lplfitch/lplfitch.pdf | bin | 0 -> 226982 bytes |
2 files changed, 42 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/lplfitch/README b/Master/texmf-dist/doc/latex/lplfitch/README new file mode 100644 index 00000000000..c89659a03b8 --- /dev/null +++ b/Master/texmf-dist/doc/latex/lplfitch/README @@ -0,0 +1,42 @@ +lplfitch +======== + +LaTeX package for typesetting Fitch-style proofs a la Language, Proof, +and Logic, a logic textbook by Jon Barwise and John Etchemendy. It was +originally written by John Etchemendy, with modifications by +Dave Barker-Plummer and Richard Zach. + +https://github.com/rzach/lplfitch + +Installation +------------ + +Run latex on lplfitch.ins to produce lplfitch.sty + +Run latex on lplfitch.dxt to produce the documentation. + +License +------- + +Copyright 2013 by John Etchemendy, Dave Barker-Plummer, and Richard Zach + +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 Richard Zach. + +This work consists of the files lplfitch.dtx and lplfitch.ins +and the derived files lplfitch.sty and lplfitch.pdf. + +Versions +-------- + +0.9 (2013/05/16) First public beta + diff --git a/Master/texmf-dist/doc/latex/lplfitch/lplfitch.pdf b/Master/texmf-dist/doc/latex/lplfitch/lplfitch.pdf Binary files differnew file mode 100644 index 00000000000..58a7f7ac174 --- /dev/null +++ b/Master/texmf-dist/doc/latex/lplfitch/lplfitch.pdf |