diff options
author | Karl Berry <karl@freefriends.org> | 2013-07-02 23:21:33 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-07-02 23:21:33 +0000 |
commit | b7e38f0686232dbecee5d93bdabbdfcbee625610 (patch) | |
tree | c739cb02b563dcebb86fa5e4efa8162a5d0eb867 /Master/texmf-dist/doc/latex/lplfitch | |
parent | afdc51a6036ffaa2e13db5b6af8c4d8a76e265f8 (diff) |
lplfitch (30jun13)
git-svn-id: svn://tug.org/texlive/trunk@31077 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/lplfitch')
-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 |