diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/lplfitch/README |
Initial commit
Diffstat (limited to 'macros/latex/contrib/lplfitch/README')
-rw-r--r-- | macros/latex/contrib/lplfitch/README | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/macros/latex/contrib/lplfitch/README b/macros/latex/contrib/lplfitch/README new file mode 100644 index 0000000000..c89659a03b --- /dev/null +++ b/macros/latex/contrib/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 + |