From b7e38f0686232dbecee5d93bdabbdfcbee625610 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Tue, 2 Jul 2013 23:21:33 +0000 Subject: lplfitch (30jun13) git-svn-id: svn://tug.org/texlive/trunk@31077 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/lplfitch/README | 42 ++++++++++++++++++++++ Master/texmf-dist/doc/latex/lplfitch/lplfitch.pdf | Bin 0 -> 226982 bytes 2 files changed, 42 insertions(+) create mode 100644 Master/texmf-dist/doc/latex/lplfitch/README create mode 100644 Master/texmf-dist/doc/latex/lplfitch/lplfitch.pdf (limited to 'Master/texmf-dist/doc/latex/lplfitch') 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 new file mode 100644 index 00000000000..58a7f7ac174 Binary files /dev/null and b/Master/texmf-dist/doc/latex/lplfitch/lplfitch.pdf differ -- cgit v1.2.3